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 SAW core language.☆54Updated 3 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆27Updated last year
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 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
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 10 months ago
- A mechanized proof of type safety for Featherweight Java using Coq☆16Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated last week
- A general purpose programming language with linear types☆44Updated 8 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- ☆47Updated 7 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 3 months ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago
- A book about datalog☆12Updated 2 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Web based opetopic editor☆35Updated 5 months ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 5 years ago
- A collaborative bibliography of papers related to property-based testing☆13Updated last week
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- ☆59Updated 5 years ago