PinnedLoading

1. simple-frpsimple-frpPublic

   Implementation of Krishnaswami's simple-frp paper

   Haskell 1 1

2. clofrpclofrpPublic

   Simply Typed Clocked Type Theory

   Haskell 5

3. linproglinprogPublic

   Linear Programming in Scala

   Scala 1

4. coqcatscoqcatsPublic

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

   Coq

5. verified_finger_treesverified_finger_treesPublic

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

   Coq 1

6. small-step-semanticssmall-step-semanticsPublic

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

   Idris