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
- BrainFuck Compiler Challenge☆30Updated 4 years ago
- Native language with Rust & LLVM☆70Updated last year
- Basic X86-64 assembler, written in golang☆73Updated 4 years ago
- A hobby programming language☆45Updated this week
- Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.☆155Updated 3 years ago
- A Quick Backend☆349Updated 3 years ago
- A C compiler that tries to eliminate the need for header files as much as possible.☆69Updated last month
- Lox interpreter written in Lox☆123Updated 3 weeks ago
- Reference implementation for Writing a C Compiler☆181Updated 6 months ago
- The Hook Programming Language☆117Updated 7 months ago
- A programming language written for fun!☆94Updated last year
- C Implementation of the monkey programming language☆73Updated 5 years ago
- C, but with function overloading, operator overloading, modules (kind of), templates (kind of), and uniform function call syntax (and a g…☆15Updated last year
- ☆26Updated last year
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆39Updated last month
- moved to https://codeberg.org/core-lang/core☆52Updated 6 months ago
- The elegant and consistent programming language.☆31Updated last year
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆290Updated last year
- Implement a Lisp, in C, from scratch, no libs☆82Updated 3 years ago
- Tiny Programs: Rosetta code for implementations☆56Updated last year
- okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.☆27Updated 3 years ago
- A CHIP-8 emulator in C.☆18Updated 2 years ago
- An operating system🧑💻 written using C and Sage☆44Updated last year
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆44Updated 2 years ago
- A Superset of Lox Programming Language with Multi-pass Compiler, Optional Static Typing and lots of new features.☆68Updated this week
- A high level assembler.☆57Updated this week
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year