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:
- Orc programming language implementation☆45Updated 3 years ago
- ☆34Updated 4 years ago
- Core components for the Scribble Java tools☆57Updated 11 months ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- ☆71Updated 5 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆31Updated 13 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 7 months ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated last week
- Fuzzy Aggregators and Similarity Into a Logic Language☆25Updated last year
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- ☆48Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Spoofax runtime☆147Updated 4 months ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Embedded C code generation DSL for Haskell.☆28Updated 6 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Web Native language Workbench with Projectional Web Editor☆71Updated last week