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

• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• Champii / Rock
  Native language with Rust & LLVM
  ☆72Updated 2 years ago
• PascalBeyer / Headerless-C-Compiler
  A C compiler that tries to eliminate the need for header files as much as possible.
  ☆88Updated 2 months ago
• skx / bfcc
  BrainFuck Compiler Challenge
  ☆30Updated 5 years ago
• skx / assembler
  Basic X86-64 assembler, written in golang
  ☆76Updated 5 years ago
• benhoyt / loxlox
  Lox interpreter written in Lox
  ☆124Updated 5 months ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 8 months ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆51Updated 11 months ago
• Spydr06 / CSpydr
  A static typed low-level compiled programming language inspired by Rust and C
  ☆92Updated 10 months ago
• mikelma / oktac
  okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.
  ☆28Updated 3 years ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆12Updated 3 years ago
• cozis / Noja
  A programming language written for fun!
  ☆96Updated 2 years ago
• kolemannix / k1
  For the joy of programming
  ☆70Updated last week
• ArgonLang / Argon
  Argon programming language
  ☆58Updated last year
• grassator / mass
  A compiler for a new language focusing on compile-time execution and no LLVM dependency.
  ☆295Updated 2 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
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆43Updated 3 years ago
• Usbac / borealis
  The elegant and consistent programming language.
  ☆31Updated 2 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
• fuhsnn / widcc
  Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc
  ☆46Updated 5 months ago
• abhinav-upadhyay / cmonkey
  C Implementation of the monkey programming language
  ☆74Updated 5 years ago
• almontasser / crust
  A C-like programming language that is similar to Rust's syntax. Toy programming language.
  ☆57Updated last month
• ibara / pl0c
  Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
  ☆156Updated 4 years ago
• elucent / clover
  Lovable memory-safe systems language with a pretty fast compiler
  ☆18Updated this week
• gavr123456789 / Niva
  Smalltalk like programming language
  ☆67Updated this week
• contextfreeinfo / rio
  Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language
  ☆96Updated 4 months ago
• hshq / harelang
  A macos port of the hare language (https://harelang.org). See README.darwin.
  ☆85Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago