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
- ProofWidgets4 Public Forked from leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
placidex/ProofWidgets4’s past year of commit activity - atc-livesession-examples Public Forked from Ace-Interview-Prep/atc-livesession-examples
Example code from our live sessions
placidex/atc-livesession-examples’s past year of commit activity - PhysLean Public Forked from HEPLean/PhysLean
A project to digitalise results from physics into Lean.
placidex/PhysLean’s past year of commit activity - mathematics_in_lean Public Forked from leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
placidex/mathematics_in_lean’s past year of commit activity - atc-haskell-projects Public Forked from Ace-Interview-Prep/atc-haskell-projects
Fork this repository - each branch is a different project
placidex/atc-haskell-projects’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…