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☆44Updated 3 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Type checking and logical inference for JetBrains MPS☆33Updated last month
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- ☆10Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Core components for the Scribble Java tools☆56Updated 8 months ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- The language of the future!☆72Updated last year
- A PLT Redex implementation of Featherweight Java☆16Updated 12 years ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- ☆71Updated 4 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 6 years ago
- The Ur/Web People Organizer☆30Updated last year
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- ☆29Updated 9 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 6 months ago
- A blog about Coq☆10Updated 4 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- Web Native language Workbench with Projectional Web Editor☆69Updated this week