Alternatives and similar repositories for verve-lang:

Users that are interested in verve-lang are comparing it to the libraries listed below

• facebookarchive / JSCaml
  A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
  ☆454Updated 7 years ago
• HuoLanguage / huo
  interpreted language written in C
  ☆210Updated 3 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆181Updated 5 years ago
• xixixao / Shem
  The compiler of the programming language Shem
  ☆391Updated 4 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆410Updated 8 years ago
• zetavm / zetavm
  Multi-Language Platform for Dynamic Programming Languages
  ☆636Updated 2 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 9 years ago
• cloe-lang / cloe
  Cloe programming language
  ☆411Updated 4 months ago
• breuleux / earl-grey
  Programming language compiling to JavaScript
  ☆464Updated 7 years ago
• artagnon / rhine
  🔬 a C++ compiler middle-end, using an LLVM backend
  ☆164Updated 3 years ago
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆56Updated 9 years ago
• Azeirah / A-new-wave-of-programming
  A collection of related articles, experiments and demos about futuristic kinds of programming
  ☆166Updated 9 years ago
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆215Updated 2 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆367Updated 8 years ago
• chenglou / intro-to-reason-compilation
  Ready up!
  ☆271Updated 4 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆158Updated 3 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated last year
• FascinatedBox / lily
  Interpreted language focused on expressiveness and type safety.
  ☆1,084Updated 7 months ago
• orange-lang / orange
  The Orange programming language
  ☆74Updated 7 years ago
• ark-lang / ark
  A compiled systems programming language written in Go using the LLVM framework
  ☆682Updated 5 years ago
• VictorTaelin / forall
  Expressive static types and invariant checks for JavaScript.
  ☆226Updated 7 years ago
• oden-lang / oden
  The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
  ☆724Updated 7 years ago
• sgentle / catenary
  Concatenative programming for Javascript
  ☆105Updated 9 years ago
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 4 years ago
• rhysd / gocaml
  Statically typed functional programming language implementation with Go and LLVM
  ☆754Updated 4 years ago
• evanw / thinscript
  A low-level programming language inspired by TypeScript
  ☆1,368Updated 8 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆255Updated 8 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆338Updated 6 years ago
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆791Updated last week
• higgsjs / Higgs
  Higgs JavaScript Virtual Machine
  ☆881Updated last year