Popular repositories Loading
-
eclair-lang
eclair-lang PublicForked from luc-tielen/eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM
Haskell
-
souffle-haskell
souffle-haskell PublicForked from luc-tielen/souffle-haskell
Haskell bindings for the Souffle datalog language
C
-
llvm-codegen
llvm-codegen PublicForked from luc-tielen/llvm-codegen
LLVM code generation in Haskell
Haskell
-
homebrew-souffle
homebrew-souffle PublicForked from souffle-lang/homebrew-souffle
Brew Scripts
Ruby
-
diagnose
diagnose PublicForked from luc-tielen/diagnose
A simple library for reporting compiler/interpreter errors
Haskell
-
GHAppy
GHAppy PublicForked from mlabs-haskell/GHAppy
A utility to pull issues and create Audit Reports.
Haskell
Repositories
- theorem_proving_in_lean4 Public Forked from leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
placidex/theorem_proving_in_lean4’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…