milesbarr / hindley-milner-in-pythonLinks
Hindley–Milner type inference implemented in Python.
☆13Updated 2 years ago
Alternatives and similar repositories for hindley-milner-in-python
Users that are interested in hindley-milner-in-python are comparing it to the libraries listed below
Sorting:
- The Silk Programming Language☆79Updated 4 years ago
- Native language with Rust & LLVM☆69Updated last year
- C Implementation of the monkey programming language☆73Updated 5 years ago
- 𝐧𝐝 A small programming language with an interpreter, and a WebAssembly compiler.☆14Updated 11 months ago
- A virtual machine and a tree-walk interpreter for the Lox programming language in C89☆50Updated 5 years ago
- Basic X86-64 assembler, written in golang☆68Updated 4 years ago
- BrainFuck Compiler Challenge☆29Updated 4 years ago
- moved to https://codeberg.org/core-lang/core☆52Updated 4 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆38Updated this week
- A hobby programming language☆41Updated this week
- A delightful programming language for writing reliable software☆20Updated 7 months ago
- Lox interpreter written in Lox☆120Updated last year
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- The elegant and consistent programming language.☆31Updated last year
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆27Updated 3 years ago
- A C compiler that tries to eliminate the need for header files as much as possible.☆65Updated this week
- C, but with function overloading, operator overloading, modules (kind of), templates (kind of), and uniform function call syntax (and a g…☆15Updated 10 months ago
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆37Updated this week
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆96Updated 2 weeks ago
- A macos port of the hare language (https://harelang.org). See README.darwin.☆78Updated 5 months ago
- an interactive programming language☆44Updated this week
- A programming language written for fun!☆92Updated last year
- A C-like programming language that is similar to Rust's syntax. Toy programming language.☆51Updated 3 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆79Updated 3 months ago
- An on going project to learn ELF format.☆38Updated 2 years ago
- A fast, concurrent and embeddable scripting language☆44Updated 3 years ago
- A general purpose programming language☆206Updated 3 weeks ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- A functional programming language☆13Updated 9 months ago
- Statically typed general purpose programming language☆1Updated last year