Alternatives and similar repositories for eva-tc-source:

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

• ren-lang / compiler
  Cleaner, clearer JavaScript. A modern scripting language for the Web.
  ☆100Updated last year
• faraazahmad / tisp
  A toy programming language based on Lisp and built in Rust & LLVM
  ☆42Updated 3 years ago
• domdomegg / hindley-milner-typescript-minimal
  Extra minimal TypeScript implementation of Hindley-Milner type inference
  ☆28Updated 4 months ago
• lpil / soup
  A simple interpreted language written in Elixir
  ☆21Updated 7 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆26Updated this week
• 418e / Tron
  Statically typed general purpose programming language
  Updated 10 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 5 months ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆39Updated 2 years ago
• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆93Updated last year
• michallepicki / tibe
  Ahnfelt's Type Inference by Example but implemented in Gleam
  ☆12Updated last year
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆56Updated 8 months ago
• DenialAdams / roland
  Roland programming language
  ☆58Updated last week
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• cara-lang / compiler
  Cara language compiler
  ☆42Updated 3 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• tsoding / parcoom
  Parser Combinators of Monad
  ☆35Updated 4 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆48Updated last month
• mkhan45 / RustScript2
  RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
  ☆37Updated last year
• DmitrySoshnikov / letter-rdp-source
  Building a Parser from scratch
  ☆46Updated 4 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• HigherOrderCO / FormCoreJS
  A minimal pure functional language based on self dependent types.
  ☆72Updated 2 years ago
• nikodemus / foolang
  A toy programming language.
  ☆37Updated last year
• fir-lang / fir
  ☆32Updated this week
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 5 months ago
• area9innovation / wase
  WebAssembly made easy
  ☆45Updated last year
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆60Updated 3 years ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆53Updated last year
• eashanhatti / konna
  ☆11Updated 2 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆14Updated 10 months ago