MetaBorgCube / IceDust
A language for data modeling and incremental computing of derived values
☆11Updated 11 months ago
Alternatives and similar repositories for IceDust:
Users that are interested in IceDust are comparing it to the libraries listed below
- Library-based Language Extensibility☆39Updated 10 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- ☆10Updated 6 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated this week
- SML The Living Language☆11Updated 11 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 7 months ago
- Core components for the Scribble Java tools☆56Updated 6 months ago
- a book about declarative language definition☆23Updated 9 years ago
- A PLT Redex implementation of Featherweight Java☆15Updated 12 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year
- Luck -- A Language for Property-Based Generators☆34Updated last month
- A blog about Coq☆10Updated 4 years ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- The language of the future!☆72Updated last year
- The MLPolyR programming language, revived☆24Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Updated 12 years ago
- ☆71Updated 4 years ago
- A termination checker for higher-order rewriting with dependent types☆10Updated 4 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- The Ur/Web People Organizer☆30Updated 11 months ago
- A dependently typed programming language, and verification tool☆26Updated 9 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago