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 8 years ago
• HuoLanguage / huo
  interpreted language written in C
  ☆210Updated 3 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆181Updated 6 years ago
• xixixao / Shem
  The compiler of the programming language Shem
  ☆391Updated 4 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆412Updated 8 years ago
• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆129Updated 8 years ago
• breuleux / earl-grey
  Programming language compiling to JavaScript
  ☆463Updated 7 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• orange-lang / orange
  The Orange programming language
  ☆74Updated 7 years ago
• zetavm / zetavm
  Multi-Language Platform for Dynamic Programming Languages
  ☆635Updated 2 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆256Updated 8 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆372Updated 8 years ago
• chenglou / intro-to-reason-compilation
  Ready up!
  ☆271Updated 5 years ago
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆215Updated 2 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆158Updated 3 years ago
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆195Updated last week
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆55Updated 9 years ago
• cloe-lang / cloe
  Cloe programming language
  ☆411Updated 6 months ago
• sgentle / catenary
  Concatenative programming for Javascript
  ☆105Updated 10 years ago
• casualjavascript / haskell-in-es6
  Source for "Haskell in ES6" article series
  ☆287Updated 8 years ago
• FascinatedBox / lily
  Interpreted language focused on expressiveness and type safety.
  ☆1,084Updated this week
• oden-lang / oden
  The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
  ☆725Updated 8 years ago
• fxfactorial / ocaml-reactjs
  Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT
  ☆117Updated 8 years ago
• ark-lang / ark
  A compiled systems programming language written in Go using the LLVM framework
  ☆681Updated 6 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆339Updated 6 years ago
• VictorTaelin / forall
  Expressive static types and invariant checks for JavaScript.
  ☆226Updated 8 years ago
• rhysd / gocaml
  Statically typed functional programming language implementation with Go and LLVM
  ☆758Updated 4 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
• facebookarchive / immutable-re
  Immutable collections for the Reason programming language.
  ☆217Updated 6 years ago
• klange / taylor
  Swift on bare metal. Explorations of compiling Swift code without a standard library.
  ☆192Updated 9 years ago