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:
- Library-based Language Extensibility☆39Updated 10 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Core components for the Scribble Java tools☆56Updated 8 months ago
- ☆10Updated 6 years ago
- An implementation of asynchronous π-calculus in Go☆7Updated 3 years ago
- ☆71Updated 5 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- ☆34Updated 4 years ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated last week
- Binary logical relations library for the Coq proof assistant☆21Updated 7 months ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- ☆20Updated last year
- The Ur/Web People Organizer☆30Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- a book about declarative language definition☆23Updated 9 years ago
- Luck -- A Language for Property-Based Generators☆35Updated 3 months ago
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- formalization of theorems of higher algebraic K-theory☆8Updated 11 years ago
- Orc programming language implementation☆44Updated 3 years ago
- purple: compiling a reflective language☆32Updated 8 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A blog about Coq☆10Updated 4 years ago
- Object Algebra Composition☆24Updated 11 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- Idris LLVM codegen factored out☆81Updated 7 years ago