Alternatives and similar repositories for type-inferencing:

Users that are interested in type-inferencing are comparing it to the libraries listed below

• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆62Updated 3 years ago
• udem-dlteam / mimosa
  Minimal operating system for x86 intended as a basis for benchmarking and running Gambit
  ☆88Updated 4 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated 2 weeks ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆72Updated 5 years ago
• radian-software / kalyn
  ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.
  ☆157Updated 2 years ago
• nikodemus / foolang
  A toy programming language.
  ☆40Updated last year
• seven1m / malcc
  Mal (Make A Lisp) Compiler in C
  ☆52Updated 4 years ago
• barak / scheme2c
  Joel Bartlett's fabled Scheme->C system
  ☆82Updated 5 years ago
• rain-1 / single_cream
  single file scheme interpreter with tail call optimization
  ☆82Updated 6 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 10 months ago
• mkirchner / stutter
  Implement a Lisp, in C, from scratch, no libs
  ☆81Updated 2 years ago
• jasonnyberg / j2
  j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …
  ☆45Updated last year
• h2337 / cparse
  cparse is an LR(1) and LALR(1) parser generator
  ☆51Updated 4 months ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated this week
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆56Updated 10 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• kparc / bcc
  bcc is a b compiler
  ☆32Updated 2 years ago
• false-schemers / sharpF
  #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5R…
  ☆50Updated 2 years ago
• Bogdanp / racket-lua
  A #lang implementation of Lua 5.4 for Racket.
  ☆54Updated last week
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 16 years ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated last year
• catseye / minischeme
  MIRROR of https://codeberg.org/catseye/minischeme : Cat's Eye Technologies' fork of the original public-domain Mini-Scheme implementation…
  ☆70Updated 6 years ago
• henriquegogo / kamby
  Kamby Language
  ☆76Updated this week
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆16Updated 3 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• snej / tails
  A fast, minimal Forth-like interpreter core in C++ with no assembly
  ☆81Updated 3 months ago
• arichel / PicoScheme
  Tiny scheme implementation written in c++17
  ☆27Updated 6 years ago
• oriansj / torture_c
  The most minimal C you can do real work in
  ☆16Updated 2 years ago
• snej / smol_world
  Compact garbage-collected heap and JSON-like object model
  ☆80Updated last year
• luser-dr00g / inca
  an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…
  ☆29Updated 8 years ago