Alternatives and similar repositories for eva-tc-source

Users that are interested in eva-tc-source are comparing it to the libraries listed below

• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆72Updated 3 years ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆333Updated 3 months ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆101Updated last year
• ren-lang / compiler
  Cleaner, clearer JavaScript. A modern scripting language for the Web.
  ☆99Updated 2 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• caius-iulius / spinnaker
  ☆26Updated last year
• taolson / Admiran
  Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda
  ☆63Updated this week
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆2Updated last year
• stereobooster / write-you-a-programming-language
  List of small programming languages that you can implement in a relatively small amount of time for educational purposes.
  ☆110Updated 4 years ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆52Updated 6 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 7 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆276Updated this week
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆110Updated last week
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆177Updated 8 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆40Updated last month
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆55Updated last week
• contextfreeinfo / rio
  Goal: A safe, tiny, flexible, fast compiling, semi-fast running, data-friendly, functional-first language
  ☆96Updated this week
• wipplelang / wipple
  Learn to code with Wipple.
  ☆37Updated last week
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆83Updated 4 months ago
• kserrec / lambda-core
  Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.
  ☆45Updated 5 months ago
• CrowdHailer / eyg-lang
  Experiments in building "better" languages and tools; for some measure of better.
  ☆245Updated 2 months ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆72Updated last week
• uds-psl / Prog
  ☆85Updated 3 years ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated 3 weeks ago
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 3 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆59Updated 2 months ago
• thomasmueller / bau-lang
  Bau is a simple, concise, safe, powerful and fast programming language.
  ☆33Updated this week