Pinned Loading

1. sqlite-lean sqlite-lean Public

   Sqlite3 bindings for lean4

   C 11 2

2. lambda-cube lambda-cube Public

   lambda cube in lean4

   Lean 4

3. typoggers-lang typoggers-lang Public

   Static typed poggers programming language

   Haskell 8

4. async-reactor-jni async-reactor-jni Public

   Native implementation of a Reactor with a Java Native Interface

   C

5. brainfuck-jq brainfuck-jq Public

   Brainfuck implementation using JQ

   jq 3

6. viewstamped-clj viewstamped-clj Public

   Viewstamped Replication, a replication technique that handles failures in which nodes crash

   Clojure 2