Alternatives and similar repositories for eva-tc-source:

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

• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆28Updated 5 months ago
• ren-lang / compiler
  Cleaner, clearer JavaScript. A modern scripting language for the Web.
  ☆99Updated last year
• madlib-lang / madlib
  Madlib language compiler
  ☆27Updated 2 months ago
• leostera / awesome-alt-langs
  Just a list of Awesome Alt Langs to check out
  ☆98Updated 10 months ago
• cara-lang / compiler
  Cara language compiler
  ☆42Updated 4 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• DmitrySoshnikov / eva-vm-source
  ☆21Updated 3 years ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆54Updated last month
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 6 months ago
• DmitrySoshnikov / letter-rdp-source
  Building a Parser from scratch
  ☆46Updated 4 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• cmaes / miniml
  Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
  ☆32Updated 4 years ago
• kritzcreek / fby19
  Type inference from scratch - Material for my talk at F(by)19
  ☆64Updated 5 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 6 months ago
• ccntrq / loxomotive
  loxomotive - A Lox Interpreter implemented in Haskell
  ☆17Updated 3 years ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆27Updated 9 years ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 10 months ago
• FrankBro / ordo
  Ordo: A minimalist language with row polymorphism
  ☆82Updated 7 months ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 6 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 9 months ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 4 years ago
• nikodemus / foolang
  A toy programming language.
  ☆39Updated last year
• nmhancock / type-inferencing
  Hindley–Milner Type inferencing in C
  ☆48Updated 2 years ago
• anhnguyen1618 / Tiger-ocaml-llvm-compiler
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Updated 2 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated 2 weeks ago
• ribbon-lang / ribbon
  Ribbon programming language compiler, runtime, etc
  ☆14Updated this week