tadeuzagallo / verve-lang

Related projects: ⓘ

• facebookarchive / JSCaml
  A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
  ☆453Updated 7 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆180Updated 5 years ago
• xixixao / Shem
  The compiler of the programming language Shem
  ☆392Updated 4 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆409Updated 8 years ago
• HuoLanguage / huo
  interpreted language written in C
  ☆213Updated 2 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆358Updated 7 years ago
• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆130Updated 7 years ago
• zetavm / zetavm
  Multi-Language Platform for Dynamic Programming Languages
  ☆633Updated 2 years ago
• cloe-lang / cloe
  Cloe programming language
  ☆409Updated 6 months ago
• artagnon / rhine
  🔬 a C++ compiler middle-end, using an LLVM backend
  ☆164Updated 2 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 8 years ago
• jeorgun / Vivaldi
  ☆118Updated this week
• Azeirah / A-new-wave-of-programming
  A collection of related articles, experiments and demos about futuristic kinds of programming
  ☆165Updated 9 years ago
• breuleux / earl-grey
  Programming language compiling to JavaScript
  ☆467Updated 7 years ago
• MaiaVictor / forall
  Expressive static types and invariant checks for JavaScript.
  ☆226Updated 7 years ago
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆216Updated last year
• 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
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆194Updated 4 years ago
• FascinatedBox / lily
  Interpreted language focused on expressiveness and type safety.
  ☆1,082Updated last month
• higgsjs / Higgs
  Higgs JavaScript Virtual Machine
  ☆875Updated last year
• fxfactorial / ocaml-reactjs
  Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT
  ☆117Updated 8 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆237Updated 10 months ago
• oden-lang / oden
  The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
  ☆726Updated 7 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆338Updated 5 years ago
• maierfelix / mini-js
  Minimal self-hosted JavaScript compiler in 1k lines of code
  ☆158Updated 7 years ago
• facebookarchive / immutable-re
  Immutable collections for the Reason programming language.
  ☆218Updated 5 years ago
• owl-lisp / owl
  A functional Scheme for world domination.
  ☆379Updated 6 years ago
• rhysd / gocaml
  Statically typed functional programming language implementation with Go and LLVM
  ☆747Updated 4 years ago
• ianthehenry / basilica
  It's kinda like a forum.
  ☆114Updated 3 years ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆255Updated 7 years ago