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
- PhysLean Public Forked from HEPLean/PhysLean
A project to digitalise results from physics into Lean.
- tlaplus Public Forked from tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- scotty Public Forked from scotty-web/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
- quote4 Public Forked from leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.