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 11 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 Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- The SAW core language.☆54Updated 4 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- An extended typed Lambda Calculus☆21Updated last year
- The LVish Haskell library☆80Updated 2 years ago
- ☆60Updated 6 years ago
- ☆29Updated 9 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 6 years ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated last month
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- Collapsing Towers of Interpreters☆91Updated last month
- MetaML and MetaOCaml bibliography☆94Updated 8 months ago
- ☆36Updated last year
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- A talk☆28Updated 4 years ago
- Orc programming language implementation☆44Updated 3 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 5 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- The Boomerang Bidirectional Programming Language☆77Updated 2 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago