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
• xixixao / Shem
  The compiler of the programming language Shem
  ☆391Updated 4 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆413Updated 8 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆181Updated 6 years ago
• cloe-lang / cloe
  Cloe programming language
  ☆411Updated 6 months ago
• HuoLanguage / huo
  interpreted language written in C
  ☆210Updated 3 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
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆371Updated 8 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆134Updated 9 years ago
• tadeuzagallo / lc-js
  A λ-calculus interpreter written in JavaScript
  ☆158Updated 3 years ago
• fxfactorial / ocaml-reactjs
  Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT
  ☆117Updated 8 years ago
• 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
• zetavm / zetavm
  Multi-Language Platform for Dynamic Programming Languages
  ☆635Updated 2 years ago
• chenglou / intro-to-reason-compilation
  Ready up!
  ☆271Updated 5 years ago
• breuleux / earl-grey
  Programming language compiling to JavaScript
  ☆463Updated 7 years ago
• FascinatedBox / lily
  Interpreted language focused on expressiveness and type safety.
  ☆1,084Updated this week
• ceu-lang / ceu
  The Programming Language Céu
  ☆222Updated last year
• oden-lang / oden
  The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
  ☆724Updated 8 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆256Updated 8 years ago
• rhysd / gocaml
  Statically typed functional programming language implementation with Go and LLVM
  ☆756Updated 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
• klange / taylor
  Swift on bare metal. Explorations of compiling Swift code without a standard library.
  ☆191Updated 9 years ago
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆215Updated 2 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆339Updated 6 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,578Updated 9 years ago
• VictorTaelin / forall
  Expressive static types and invariant checks for JavaScript.
  ☆226Updated 8 years ago
• reasonml-old / rebel
  ☆123Updated 8 years ago
• krisajenkins / elm-rays
  A raycasting hack in Elm
  ☆145Updated 6 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
• brain-labs / brain
  An esoteric programming language compiler on top of LLVM based on Brainfuck
  ☆134Updated 4 years ago