Pinned Loading

1. A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

   Haskell 229 13

2. Lean documentation authoring tool

   Lean 260 101

3. Haskell bindings for the Souffle datalog language

   C++ 104 15

4. The Lean reference manual

   Lean 103 47

6. LLVM code generation in Haskell

   Haskell 54 7