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

• kolemannix / k1
  A hobby programming language
  ☆46Updated this week
• AjayMT / silk
  The Silk Programming Language
  ☆79Updated 4 years ago
• Champii / Rock
  Native language with Rust & LLVM
  ☆73Updated 2 years ago
• skx / bfcc
  BrainFuck Compiler Challenge
  ☆31Updated 5 years ago
• skx / assembler
  Basic X86-64 assembler, written in golang
  ☆76Updated 4 years ago
• benhoyt / loxlox
  Lox interpreter written in Lox
  ☆123Updated 3 months ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• eatonphil / tinyprograms
  Tiny Programs: Rosetta code for implementations
  ☆56Updated 2 years ago
• abhinav-upadhyay / cmonkey
  C Implementation of the monkey programming language
  ☆74Updated 5 years ago
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆38Updated 2 weeks ago
• NICUP14 / MiniLang
  A type-safe C successor that compiles directly to various platforms.
  ☆139Updated 5 months ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• antimony-lang / antimony
  The Antimony programming language
  ☆158Updated last week
• mikelma / oktac
  okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.
  ☆28Updated 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
• cozis / Noja
  A programming language written for fun!
  ☆95Updated last year
• ArgonLang / Argon
  Argon programming language
  ☆56Updated last year
• PascalBeyer / Headerless-C-Compiler
  A C compiler that tries to eliminate the need for header files as much as possible.
  ☆88Updated last week
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 3 years ago
• ndmitchell / interpret
  ☆39Updated 4 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 2 years ago
• Usbac / borealis
  The elegant and consistent programming language.
  ☆32Updated 2 years ago
• ibara / pl0c
  Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
  ☆155Updated 4 years ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆52Updated 9 months ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆335Updated 5 months ago
• Spydr06 / CSpydr
  A static typed low-level compiled programming language inspired by Rust and C
  ☆92Updated 8 months ago
• Srinivasa314 / neptune-lang
  A fast, concurrent and embeddable scripting language
  ☆44Updated 3 years ago
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆23Updated last month
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆26Updated last year
• adam-mcdaniel / sage-os
  An operating system🧑‍💻 written using C and Sage
  ☆44Updated last year