Pinned Loading

1. Typed-Closure-Conversion Typed-Closure-Conversion Public

   A closure converting STLC-to-System F compiler written in F#.

   F# 2

2. lambda-join-hs lambda-join-hs Public

   Interpreter for "Functional Meaning for Parallel Streaming"

   Haskell 4

3. liquidstudentlanguage liquidstudentlanguage Public

   A beginner's programming language with a refinement type system and support for formal proofs.

   Racket 1

4. XSnow/bowtie_coq XSnow/bowtie_coq Public

   A Bowtie for a Beast (Artifact)

   Coq 4

5. react-nine-patch react-nine-patch Public

   An Android nine-patch image component for the React web framework.

   JavaScript

6. Zdancewic/learningtofocus Zdancewic/learningtofocus Public

   OCaml