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 SAW core language.☆54Updated 4 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Updated last year
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Updated 7 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated last year
- A DSL for describing and implementing communication protocols☆84Updated 10 years ago
- ☆62Updated 6 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 6 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- ☆29Updated 10 years ago
- BDD-based implementation of Datalog☆37Updated 5 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- higher order dependently typed logic programing☆173Updated 7 years ago
- The LVish Haskell library☆80Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 10 months ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- Collapsing Towers of Interpreters☆92Updated 5 months ago
- Kempe is a compiled stack-based language☆58Updated last year
- Clafer is a lightweight modeling language☆47Updated 9 months ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 9 years ago
- A talk☆28Updated 4 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Updated 8 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- An experimental type checker for a modal dependent type theory.☆115Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago