Pinned Loading

1. luc-tielen/eclair-lang luc-tielen/eclair-lang Public

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

   Haskell 224 13

2. leanprover/verso leanprover/verso Public

   Lean documentation authoring tool

   JavaScript 225 96

3. luc-tielen/souffle-haskell luc-tielen/souffle-haskell Public

   Haskell bindings for the Souffle datalog language

   C++ 105 14

4. leanprover/reference-manual leanprover/reference-manual Public

   The Lean reference manual

   Lean 82 40

5. pandaman64/lean-regex pandaman64/lean-regex Public

   Lean 66 4

6. luc-tielen/llvm-codegen luc-tielen/llvm-codegen Public

   LLVM code generation in Haskell

   Haskell 54 7