cubiml-demo
by Storyyeller
A simple ML-like programming language with subtyping and full type inference.
AI summary
Language prototype
A language prototype with subtyping and type inference for teaching cubic biunification algorithms
- stars
- 165
- forks
- 5
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Prototype language
A language designed to help developers create prototype code quickly and then refactor it into production-ready code
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
Language compiler
Experimental programming language with GraalVM JIT
Language prototype builder
A tool for rapid language prototyping with a modular and concise type system based on higher-order logic programming.
Rust compiler demo
An experimental project demonstrating the compilation and execution of Rust code using Cosmopolitan Libc.
Bellman's algorithm demo
Demonstrates an implementation of Bellman's algorithm in Rust
Programming Language Lab
A collection of miniature programming language implementations demonstrating various techniques used in language implementation.
Language parser demo
A language demo project showcasing fault-tolerant parsing techniques for a simple language with a Lisp-like syntax.
Programming Language
An experimental programming language with the goal of providing a teachable, scalable, modern, and precise language with high-level capabilities.
Micro frontend demo
A sample application demonstrating the use of piral to build a dynamic app with micro frontends
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
Rust language list
A directory of programming languages implemented in Rust, serving as a source of inspiration and comparison.
rust-lang/rust99.5K
Software development framework
Empowering software developers to build reliable and efficient software using a fast and memory-efficient language with strong type safety and comprehensive tooling.
Learning Platform
An interactive Rust learning platform with examples and a live code editor.
Vocabulary Trainer
A Rust WebAssembly website example for practising English vocabulary