Beast code in Giters

pcarbonn's repositories

a datalog implementation in Python

Language:PythonLGPL-2.1272 20 26

Generate HTML conveniently and efficiently in Python

Language:PythonLGPL-3.035 2 1

So, you want to write a DSL interpreter...

Language:HaskellBSD-3-Clause25 50

Open algebraic data types. Reuse constructors in different types; add and remove constructors from values.

Language:HaskellBSD-3-Clause020

Utility modules

Language:Haskell020

A tool for installing and managing Python packages

Language:PythonNOASSERTION020

🌀 Relude: Reload your Prelude

Language:HaskellMIT020

The Z3 Theorem Prover

Language:C++NOASSERTION010