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

• Champii / Rock
  Native language with Rust & LLVM
  ☆73Updated 2 years ago
• benhoyt / loxlox
  Lox interpreter written in Lox
  ☆124Updated 4 months ago
• kolemannix / k1
  For the joy of programming
  ☆56Updated this week
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• almontasser / crust
  A C-like programming language that is similar to Rust's syntax. Toy programming language.
  ☆56Updated 2 weeks ago
• abhinav-upadhyay / cmonkey
  C Implementation of the monkey programming language
  ☆74Updated 5 years ago
• PascalBeyer / Headerless-C-Compiler
  A C compiler that tries to eliminate the need for header files as much as possible.
  ☆88Updated last month
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆224Updated 10 months ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆345Updated 7 months ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 7 months ago
• grassator / mass
  A compiler for a new language focusing on compile-time execution and no LLVM dependency.
  ☆292Updated 2 years ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆65Updated 9 months ago
• alumina-lang / alumina
  A general purpose programming language
  ☆216Updated last month
• skx / bfcc
  BrainFuck Compiler Challenge
  ☆31Updated 5 years ago
• 8l / qbe
  A Quick Backend
  ☆365Updated 3 years ago
• mikelma / oktac
  okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.
  ☆28Updated 3 years ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆51Updated 10 months ago
• deadpixi / c-chip8
  A CHIP-8 emulator in C.
  ☆18Updated 3 years ago
• yangdanny97 / chocopy-python-compiler
  Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.
  ☆66Updated last month
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• humz2k / sugaryc
  C, but with function overloading, operator overloading, modules (kind of), templates (kind of), and uniform function call syntax (and a g…
  ☆15Updated last year
• skx / assembler
  Basic X86-64 assembler, written in golang
  ☆76Updated 5 years ago
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆24Updated 3 months ago
• sal55 / langs
  ☆99Updated last week
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆655Updated this week
• ArgonLang / Argon
  Argon programming language
  ☆58Updated last year
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆43Updated 2 years ago