Pinned Loading

1. simple-frp simple-frp Public

   Implementation of Krishnaswami's simple-frp paper

   Haskell 1 1

2. clofrp clofrp Public

   Simply Typed Clocked Type Theory

   Haskell 5

3. linprog linprog Public

   Linear Programming in Scala

   Scala 1

4. coqcats coqcats Public

   Simple category theory modeled in Coq (just for fun and to learn)

   Coq

5. verified_finger_trees verified_finger_trees Public

   Project in Programming Language Seminar. Implement and prove properties about finger trees.

   Coq 1

6. small-step-semantics small-step-semantics Public

   Modeling the small-step semantics of the While language in Idris

   Idris