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
- The SAW core language.☆54Updated 4 years ago
- ☆62Updated 6 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- 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
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- A CSS specification and reasoning engine☆96Updated 2 years ago
- ☆29Updated 10 years ago
- A talk☆28Updated 4 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Multiparty Session Types toolKit☆15Updated 4 months ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- ☆37Updated last year
- The Makam Metalanguage☆199Updated 2 years ago
- Automatically exported from code.google.com/p/trellys☆47Updated 6 years ago
- ☆21Updated 2 years ago
- ☆38Updated 6 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- higher order dependently typed logic programing☆174Updated 7 years ago
- A compiler for functional programs on serialized data☆171Updated this week
- MetaML and MetaOCaml bibliography☆93Updated 10 months ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- Collapsing Towers of Interpreters☆91Updated 3 months ago
- ☆47Updated 8 years ago
- ☆71Updated 5 years ago