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
- BrainFuck Compiler Challenge☆28Updated 4 years ago
- C Implementation of the monkey programming language☆69Updated 4 years ago
- Basic X86-64 assembler, written in golang☆64Updated 4 years ago
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆30Updated this week
- The elegant and consistent programming language.☆32Updated last year
- Mugo, a toy compiler for a subset of Go that can compile itself☆119Updated 3 years ago
- The Pepper Programming Language☆64Updated last year
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆27Updated 2 years ago
- A C compiler that tries to eliminate the need for header files as much as possible.☆61Updated last week
- A super simple mark-and-sweep garbage collector written in Zig.☆39Updated 3 years ago
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆34Updated 5 months ago
- The Antimony programming language☆147Updated 3 weeks ago
- A simple Garbage Collected Arena for C.☆15Updated 7 months ago
- A programming language written for fun!☆91Updated last year
- C implementation of the Monkey programming language. Repository moved to Sourcehut.☆39Updated 2 years ago
- A fast, concurrent and embeddable scripting language☆44Updated 2 years ago
- cparse is an LR(1) and LALR(1) parser generator☆51Updated 2 months ago
- clex is a simple lexer generator☆94Updated 2 months ago
- A simple JIT compiler targeting x64 for the lox programming language☆14Updated last year
- Argon programming language☆51Updated 5 months ago
- wak -- an awk implementation for toybox and standalone☆68Updated 3 months ago
- Implement a Lisp, in C, from scratch, no libs☆81Updated 2 years ago
- A modern scripting language; implemented in old school C, yacc & flex☆31Updated 4 months ago
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆90Updated 2 years ago
- A type-safe C successor that compiles directly to various platforms.☆140Updated 4 months ago
- A general purpose programming language☆185Updated 2 months ago
- Statically typed general purpose programming languageUpdated 10 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆69Updated this week