Popular repositories Loading

1. Beijing-exercises Beijing-exercises Public

   Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023

   Haskell 34 6

2. pcminer pcminer Public

   Forked from pcminer-tools/pcminer

   PC-miner tool for program chairs

   HTML

3. SIGPLAN.github.io SIGPLAN.github.io Public

   Forked from SIGPLAN/SIGPLAN.github.io

   SIGPLAN website

   TeX

4. program-generator program-generator Public

   Forked from season-lab/program-generator

   Python

5. conf-data conf-data Public

   Forked from rtholmes/conf-data

   Conference program metadata.

   Shell

6. HSoM HSoM Public

   Forked from Euterpea/HSoM

   Supporting Impelementation for Haskell School of Music

   Haskell