Pinned Loading

1. runtimeverification/kup runtimeverification/kup Public

   K and Semantics Distribution Tool

   Python 10 2

2. plow-technologies/inferno plow-technologies/inferno Public

   A statically-typed functional scripting language

   Haskell 4 1

3. haskell-github-trust/quickjs-hs haskell-github-trust/quickjs-hs Public

   Haskell bindings for the QuickJS library

   Haskell 6 3

4. calculus-toolbox-2 calculus-toolbox-2 Public

   New version of the calculus toolbox

   Haskell 3 2

5. lamYcalc lamYcalc Public

   A formalization of the λ-Y calculus

   HTML 1

6. compArith compArith Public

   Proofs of correctness for computer arithmetic

   Isabelle