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
- cabal Public Forked from haskell/cabal
Official upstream development repository for Cabal and cabal-install
placidex/cabal’s past year of commit activity - vidyut Public Forked from ambuda-org/vidyut
Infrastructure for Sanskrit software. For Python bindings, see `vidyut-py`.
placidex/vidyut’s past year of commit activity - souffle Public Forked from souffle-lang/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
placidex/souffle’s past year of commit activity - aksharamukha-python Public Forked from virtualvinodh/aksharamukha-python
Aksharamukha Python Library
placidex/aksharamukha-python’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…