Popular repositories Loading

1. agda2c agda2c Public

   Agda to C compiler

   Agda 11

2. rpphp rpphp Public

   Raspberry Pi Pico HVM Platform

   Shell 2

3. c-in-agda c-in-agda Public

   Subset of C embedded in Agda

   Agda 2

4. hello-gloss-agda hello-gloss-agda Public

   Example agda project with non-trivial Haskell and system dependencies

   Makefile 1

5. bubs bubs Public

   Implementations of Shivers & Wand 's BUBS algorithm

   Standard ML 1

6. find-cycles find-cycles Public

   Analyse dependency cycles in Haskell source code

   JavaScript 1