MetaBorgCube / IceDustLinks
A language for data modeling and incremental computing of derived values
☆11Updated last year
Alternatives and similar repositories for IceDust
Users that are interested in IceDust are comparing it to the libraries listed below
Sorting:
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- Orc programming language implementation☆45Updated 4 years ago
- Core components for the Scribble Java tools☆58Updated last year
- ☆71Updated 5 years ago
- Software Language Engineering Body of Knowledge☆49Updated 5 years ago
- ☆34Updated 5 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 14 years ago
- A PLT Redex implementation of Featherweight Java☆17Updated 13 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Spoofax runtime☆160Updated 9 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Updated last year
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Updated 12 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 9 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- ☆19Updated 8 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- Java-based lightweight Prolog virtual machine☆37Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- a book about declarative language definition☆24Updated 9 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 9 years ago
- Compile-time metaprogramming for OCaml☆75Updated last year
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- ☆59Updated 12 years ago
- ☆29Updated 10 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated last month
- A parser and AST for Lustre☆12Updated last year