cwi-swat / aterms
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
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆27Updated last year
- Compilation and Verification of Data-Centric Languages☆57Updated 8 months ago
- Datalog + Egg = Good☆66Updated last year
- Yet Another Software Language Repository☆19Updated 2 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆43Updated 2 years ago
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- A programming language with infinite arrays☆31Updated 5 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- ☆29Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- Compositional type checking for Haskell☆37Updated 13 years ago
- ☆59Updated 5 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆48Updated 3 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- MetaML and MetaOCaml bibliography☆89Updated 3 months ago
- The SAW core language.☆54Updated 3 years ago
- Obsidian Language Repository☆40Updated 6 years ago
- ☆34Updated 11 months ago
- A CSS specification and reasoning engine☆95Updated 2 years ago
- Generation of abstract binding trees☆28Updated 5 months ago
- oleg modules☆30Updated 12 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
- Mindless, verified (erasably) coding using dependent types☆104Updated 9 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆26Updated 3 months ago
- An extended typed Lambda Calculus☆21Updated 7 months ago