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