Popular repositories Loading

1. gibbon gibbon Public

   A compiler for functional programs on serialized data

   C 177 19

2. ecoop24-marmoset-artifact ecoop24-marmoset-artifact Public

   Marmoset: Artifact submission for ECOOP 2024

   Haskell 1

3. gibbon-compiler.github.io gibbon-compiler.github.io Public

   Website for the gibbon compiler

   HTML 1 1

4. pldi19-gibbon-artifact pldi19-gibbon-artifact Public

   Artifact for "LoCal: A Language for Programs Operating on Serialized Data"

   Dockerfile

5. icfp21-ParallelGibbon-artifact icfp21-ParallelGibbon-artifact Public

   Haskell

6. local-mech local-mech Public

   Rocq Prover