Popular repositories Loading

1. system-f-agda system-f-agda Public

   A formalization of the polymorphic lambda calculus extended with iso-recursive types

   Agda 70 8

2. odds odds Public

   Probabilistic programming in Scala

   Scala 34 8

3. pts-agda pts-agda Public

   A formalization of Pure Type Systems (PTS) in Agda

   Agda 23 4

4. f-omega-int-agda f-omega-int-agda Public

   F-omega with interval kinds mechanized in Agda

   Agda 13 3

5. lms-kappa lms-kappa Public

   LMS-based Kappa simulator

   Scala 8 3

6. kappa-emacs kappa-emacs Public

   GNU/Emacs support for the Kappa language

   Emacs Lisp 5 6