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).
☆23Updated 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
- The SAW core language.☆54Updated 4 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated 11 months ago
- Java Code Generator for Idris☆71Updated 9 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- ☆60Updated 6 years ago
- Yet Another Software Language Repository☆19Updated 3 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- An experimental type checker for a modal dependent type theory.☆112Updated 5 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- ☆29Updated 9 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- A programming language with infinite arrays☆31Updated 5 years ago
- The language of the future!☆72Updated last year
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- ☆21Updated 2 years ago
- Multiparty Session Types toolKit☆15Updated last month
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- MetaML and MetaOCaml bibliography☆92Updated 6 months ago
- generative programming & verification☆33Updated this week