Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View ninioArtillero's full-sized avatar

Block or report ninioArtillero

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. RTG RTG Public

    A library to generate rhythmic patterns using geometric techniques

    Haskell 9 1

  2. document-templates document-templates Public

    Create PDFs from Markdown

    TeX

  3. Qualified Imports and Alias Resoluti... Qualified Imports and Alias Resolution in Liquid Haskell - GSoC 2025 Project Summary
    1
    # Google Summer of Code 2025 - Project Summary
    2
    
                  
    3
    - **Project:** [Qualified Imports and Alias Resolution in Liquid Haskell](https://summerofcode.withgoogle.com/programs/2025/projects/ALSN6wwr)
    4
    - **Contributor:** [Xavier Góngora](https://ninioArtillero.github.io)
    5
    - **Mentor:** [Facundo Domínguez](https://github.com/facundominguez) @ [Tweag](https://www.tweag.io)
  4. A simple reproducible script for lau... A simple reproducible script for launching a ghci session with Euterpea and HSoM libraries loaded using Nix
    1
    #! /usr/bin/env nix-shell
    2
    #! nix-shell --pure -i ghci
    3
    #! nix-shell -p "haskellPackages.ghcWithPackages (pkgs: [ pkgs.Euterpea pkgs.HSoM ])"
    4
    #! nix-shell -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/380be19fbd2d9079f677978361792cb25e8a3635.tar.gz
    5
    {-
  5. sptm-unam/chiltepin sptm-unam/chiltepin Public

    Librería para live coding

    TypeScript 1 2

  6. sptm-unam/codigo-de-conducta sptm-unam/codigo-de-conducta Public

    Código de conducta, ética, comunicación y convivencia