milesbarr / hindley-milner-in-python
Hindley–Milner type inference implemented in Python.
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for hindley-milner-in-python
- Basic X86-64 assembler, written in golang☆66Updated 3 years ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆64Updated 4 months ago
- C Implementation of the monkey programming language☆67Updated 4 years ago
- clex is a simple lexer generator☆93Updated last year
- BrainFuck Compiler Challenge☆26Updated 4 years ago
- The Antimony programming language☆139Updated last week
- A toy programming language.☆37Updated 9 months ago
- C, but with function overloading, operator overloading, modules (kind of), templates (kind of), and uniform function call syntax (and a g …☆14Updated 3 months ago
- Mugo, a toy compiler for a subset of Go that can compile itself☆116Updated 3 years ago
- A delightful programming language for writing reliable software☆17Updated 3 weeks ago
- ☆27Updated last year
- A work-in-progess programming language modeled after Ada and C++☆26Updated last year
- Simple conservative GC using mimalloc☆38Updated last year
- The Silk Programming Language☆79Updated 3 years ago
- An implementation of the Self programming language in Zig☆155Updated 2 months ago
- Samples of WebAssembly Text programs☆133Updated 3 weeks ago
- A fast, concurrent and embeddable scripting language☆44Updated 2 years ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- The Beryl Scripting Language☆31Updated last year
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆31Updated 2 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- ☆39Updated 3 years ago
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆28Updated 2 years ago
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆86Updated 2 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- Edina - A simple stack-oriented compiled programming language.☆13Updated last year
- C implementation of the Monkey programming language. Repository moved to Sourcehut.☆35Updated last year