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.☆28Updated last year
- A CSS specification and reasoning engine☆96Updated 2 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- ☆60Updated 6 years ago
- The SAW core language.☆54Updated 4 years ago
- Collapsing Towers of Interpreters☆91Updated 2 months ago
- ☆29Updated 9 years ago
- Kempe is a compiled stack-based language☆58Updated 10 months ago
- Editor for language composition☆58Updated 2 years ago
- ☆71Updated 5 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- The LVish Haskell library☆80Updated 2 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Noether programming language☆127Updated 8 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Spoofax runtime☆147Updated 3 months ago
- The Makam Metalanguage☆199Updated 2 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- ☆38Updated 5 years ago
- Multiparty Session Types toolKit☆15Updated 3 months ago
- purple: compiling a reflective language☆33Updated 10 months ago
- Real number computation software☆126Updated 3 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 2 months ago
- ☆47Updated 7 years ago
- higher order dependently typed logic programing☆174Updated 7 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago