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:
- Core components for the Scribble Java tools☆56Updated 10 months ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 13 years ago
- ☆34Updated 4 years ago
- Orc programming language implementation☆44Updated 3 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated last month
- ☆71Updated 5 years ago
- Web Native language Workbench with Projectional Web Editor☆70Updated this week
- CHR2 to SQL conversion☆14Updated 10 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Spoofax runtime☆147Updated 4 months ago
- source code for the bondi programming language☆40Updated 6 years ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 6 months ago
- Library-based Language Extensibility☆39Updated 11 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last month
- A newborn programming language for extensible software☆16Updated 3 years ago
- The mm-ADT Virtual Machine☆34Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- ☆19Updated 8 years ago
- Clafer is a lightweight modeling language☆47Updated 6 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆70Updated 2 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Kodkod solver for relational logic☆78Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year