cubiml-demo
Language prototype
A language prototype with subtyping and type inference for teaching cubic biunification algorithms
A simple ML-like programming language with subtyping and full type inference.
163 stars
9 watching
5 forks
Language: Rust
last commit: 6 months ago programming-languagetype-inference
Related projects:
| Repository | Description | Stars |
|---|---|---|
 rusini/manool | A language designed to help developers create prototype code quickly and then refactor it into production-ready code | 62 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 cesquivias/mumbler | Experimental programming language with GraalVM JIT | 109 |
 astampoulis/makam | A tool for rapid language prototyping with a modular and concise type system based on higher-order logic programming. | 194 |
 ahgamut/rust-ape-example | An experimental project demonstrating the compilation and execution of Rust code using Cosmopolitan Libc. | 189 |
 ebfull/bellman-demo | Demonstrates an implementation of Bellman's algorithm in Rust | 8 |
 andrejbauer/plzoo | A collection of miniature programming language implementations demonstrating various techniques used in language implementation. | 1,460 |
 jxxcarlson/l1 | A language demo project showcasing fault-tolerant parsing techniques for a simple language with a Lisp-like syntax. | 0 |
 samskivert/compose | An experimental programming language aiming to be teachable, scalable, and powerful while minimizing complexity. | 18 |
 piral-samples/netflix-demo | A sample application demonstrating the use of piral to build a dynamic app with micro frontends | 30 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 119 |
 alilleybrinker/langs-in-rust | A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 874 |
 rust-lang/rust | The Rust project provides tools and infrastructure to build efficient, reliable software | 98,564 |
| rust-lang/rust-by-example | An interactive Rust learning platform with examples and a live code editor. | 7,082 |
 rayylee/keypress | A Rust WebAssembly website example for practising English vocabulary | 8 |