Pinned Loading

1. zsyntax zsyntax Public

   Automated theorem prover for a linear logic-based calculus for molecular biology.

   Haskell 12

2. nbe-weak-stlc nbe-weak-stlc Public

   Agda formalization of normalization by evaluation for the confluent simply-typed weak lambda-calculus.

   Agda 8

3. jandom-devel/Jandom jandom-devel/Jandom Public

   An abstract-interpretation based static analyzer written in Scala.

   Scala 33 10

4. nbe-mltt-wes nbe-mltt-wes Public

   Normalization by Evaluation for a version of Martin-Löf Type Theory with weak explicit substitutions.

   Agda 6

5. mu-kanren mu-kanren Public

   Haskell implementation of the μKanren logic programming language.

   Haskell 3 1

6. herdtools7 herdtools7 Public

   Forked from herd/herdtools7

   The Herd toolsuite to deal with .cat memory models (version 7.xx)

   OCaml