milesbarr / hindley-milner-in-python
Hindley–Milner type inference implemented in Python.
☆13Updated 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
- Native language with Rust & LLVM☆69Updated last year
- A hobby programming language☆37Updated this week
- Basic X86-64 assembler, written in golang☆65Updated 4 years ago
- BrainFuck Compiler Challenge☆29Updated 4 years ago
- A simple JIT compiler targeting x64 for the lox programming language☆16Updated last year
- The elegant and consistent programming language.☆32Updated last year
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- A C compiler that tries to eliminate the need for header files as much as possible.☆64Updated last month
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆36Updated 8 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆36Updated last month
- Can I make an *optimizing* compiler under 1k lines of code?☆56Updated 2 months ago
- A C-like programming language that is similar to Rust's syntax. Toy programming language.☆50Updated 2 months ago
- Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language☆97Updated this week
- Lox interpreter written in Lox☆117Updated last year
- A general purpose programming language☆190Updated 2 months ago
- C Implementation of the monkey programming language☆72Updated 5 years ago
- A delightful programming language for writing reliable software☆20Updated 6 months ago
- (WIP) A programming language☆42Updated 3 months ago
- moved to https://codeberg.org/core-lang/core☆54Updated 2 months ago
- The Antimony programming language☆149Updated this week
- Reference implementation for Writing a C Compiler☆152Updated 2 months ago
- An interpreted array programming language☆16Updated 4 months ago
- ☆38Updated 4 years ago
- Implement a Lisp, in C, from scratch, no libs☆81Updated 2 years ago
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆43Updated 2 years ago
- Compiler project for Dave Beazley' Wabbit Language☆26Updated 3 years ago
- Smalltalk like programming language☆52Updated this week
- A Quick Backend☆333Updated 3 years ago
- A mini language used for the Rabs build system and within Wrapl.☆32Updated this week