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 delightful programming language for writing reliable software☆17Updated 3 weeks ago
- The Silk Programming Language☆79Updated 3 years ago
- C Implementation of the monkey programming language☆67Updated 4 years ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆64Updated 4 months ago
- Statically typed general purpose programming language☆0Updated 7 months ago
- ☆27Updated last year
- Native language with Rust & LLVM☆67Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- QBE IR in natural Rust data structures☆81Updated 3 weeks ago
- Zig implementation of Crafting Interpreters bytecode lox interpreter☆37Updated 9 months ago
- The Antimony programming language☆140Updated 2 weeks ago
- The elegant and consistent programming language.☆32Updated last year
- (WIP) A programming language☆42Updated last year
- C implementation of the Monkey programming language. Repository moved to Sourcehut.☆35Updated last year
- BrainFuck Compiler Challenge☆26Updated 4 years ago
- A programming language written for fun!☆90Updated 10 months ago
- clex is a simple lexer generator☆93Updated last year
- Experimental Niko Language☆16Updated 4 years ago
- An operating system🧑💻 written using C and Sage☆38Updated 6 months ago
- It's like Porth, but in C++. Yep, we're going full circle.☆20Updated last year
- A super simple mark-and-sweep garbage collector written in Zig.☆38Updated 3 years ago
- ☆39Updated 3 years ago
- simple and fast scripting language☆37Updated 3 years ago
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆42Updated last year
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆28Updated 2 years ago
- A high level assembler. https://wellang.github.io/well/☆57Updated 2 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