milesbarr / hindley-milner-in-python
Hindley–Milner type inference implemented in Python.
☆12Updated last year
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
- The Silk Programming Language☆79Updated 3 years ago
- C Implementation of the monkey programming language☆71Updated 5 years ago
- A macos port of the hare language (https://harelang.org). See README.darwin.☆78Updated 2 months ago
- moved to https://codeberg.org/core-lang/core☆54Updated last month
- Mugo, a toy compiler for a subset of Go that can compile itself☆122Updated 3 years ago
- Basic X86-64 assembler, written in golang☆65Updated 4 years ago
- A C compiler that tries to eliminate the need for header files as much as possible.☆64Updated last week
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- BrainFuck Compiler Challenge☆29Updated 4 years ago
- A programming language written for fun!☆91Updated last year
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Updated 5 months ago
- Native language with Rust & LLVM☆69Updated last year
- simple and fast scripting language☆40Updated 3 years ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆72Updated last month
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆36Updated this week
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆27Updated 2 years ago
- The elegant and consistent programming language.☆32Updated last year
- A delightful programming language for writing reliable software☆20Updated 5 months ago
- A simple Garbage Collected Arena for C.☆15Updated 8 months ago
- A toy programming language written in Go that compiles to C.☆99Updated 2 years ago
- A little language interpreter written in Go☆96Updated 6 years ago
- Zig implementation of Crafting Interpreters bytecode lox interpreter☆41Updated this week
- The Pepper Programming Language☆63Updated last year
- The Roman II Programming Language☆68Updated 2 years ago
- A hobby programming language☆38Updated this week
- 𝐧𝐝 A small programming language with an interpreter, and a WebAssembly compiler.☆14Updated 9 months ago
- An implementation of the Self programming language in Zig☆174Updated last week
- Can I make an *optimizing* compiler under 1k lines of code?☆55Updated last month
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Kamby Language☆76Updated last month