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 9 months ago
- Orc programming language implementation☆44Updated 3 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 12 years ago
- The Ur/Web People Organizer☆30Updated last year
- ☆71Updated 5 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆24Updated 10 months ago
- Type checking and logical inference for JetBrains MPS☆33Updated 3 months ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated this week
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Compile-time metaprogramming for OCaml☆74Updated 11 months ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 4 months ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 4 months ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- ☆34Updated 4 years ago
- ☆10Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- Maude Formal Environment☆17Updated 5 years ago