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 230 13

2. leanprover/verso leanprover/verso Public

   Lean documentation authoring tool

   Lean 310 106

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

   Haskell bindings for the Souffle datalog language

   C++ 104 15

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

   The Lean reference manual

   Lean 108 53

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

   Lean 95 10

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

   LLVM code generation in Haskell

   Haskell 54 6