cwi-swat / atermsLinks
The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in C).
☆24Updated 12 years ago
Alternatives and similar repositories for aterms
Users that are interested in aterms are comparing it to the libraries listed below
Sorting:
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Updated last year
- ☆62Updated 6 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 6 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- ☆29Updated 10 years ago
- The LVish Haskell library☆80Updated 3 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- The SAW core language.☆55Updated 4 years ago
- Orc programming language implementation☆45Updated 4 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- An extended typed Lambda Calculus☆21Updated last year
- A model checker for relational first-order temporal specifications☆28Updated 4 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- Operad Programming Language in Haskell, by David Darais☆33Updated 11 years ago
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- Multiplication on optimal λ-calculus reducers☆22Updated 5 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Mindless, verified (erasably) coding using dependent types☆104Updated 10 years ago
- ☆37Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- The language of the future!☆73Updated 2 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- higher order dependently typed logic programing☆173Updated 7 years ago