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.
165 stars
9 watching
5 forks
Language: Rust
last commit: about 2 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 | 63 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 cesquivias/mumbler | Experimental programming language with GraalVM JIT | 110 |
 astampoulis/makam | A tool for rapid language prototyping with a modular and concise type system based on higher-order logic programming. | 195 |
 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,461 |
 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 with the goal of providing a teachable, scalable, modern, and precise language with high-level capabilities. | 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. | 121 |
 alilleybrinker/langs-in-rust | A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison. | 887 |
 rust-lang/rust | Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling. | 99,490 |
| rust-lang/rust-by-example | An interactive Rust learning platform with examples and a live code editor. | 7,148 |
 rayylee/keypress | A Rust WebAssembly website example for practising English vocabulary | 8 |