tadeuzagallo / verve-lang

Related projects ⓘ

Alternatives and complementary repositories for verve-lang

• facebookarchive / JSCaml
  A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
  ☆453Updated 7 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆409Updated 8 years ago
• xixixao / Shem
  The compiler of the programming language Shem
  ☆391Updated 4 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆365Updated 7 years ago
• oden-lang / oden
  The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
  ☆726Updated 7 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 8 years ago
• cloe-lang / cloe
  Cloe programming language
  ☆410Updated 8 months ago
• HuoLanguage / huo
  interpreted language written in C
  ☆212Updated 3 years ago
• zetavm / zetavm
  Multi-Language Platform for Dynamic Programming Languages
  ☆635Updated 2 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
• 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
• artagnon / rhine
  🔬 a C++ compiler middle-end, using an LLVM backend
  ☆164Updated 2 years ago
• FascinatedBox / lily
  Interpreted language focused on expressiveness and type safety.
  ☆1,082Updated 3 months ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆180Updated 5 years ago
• sinelaw / infernu
  Type inference and checking for a safer JavaScript.
  ☆338Updated 5 years ago
• StanzaOrg / lbstanza-old
  L.B. Stanza Programming Language
  ☆216Updated last year
• ianthehenry / basilica
  It's kinda like a forum.
  ☆115Updated 3 years ago
• VictorTaelin / forall
  Expressive static types and invariant checks for JavaScript.
  ☆226Updated 7 years ago
• fxfactorial / ocaml-reactjs
  Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT
  ☆116Updated 8 years ago
• rhysd / gocaml
  Statically typed functional programming language implementation with Go and LLVM
  ☆749Updated 4 years ago
• breuleux / earl-grey
  Programming language compiling to JavaScript
  ☆464Updated 7 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,540Updated 9 years ago
• owl-lisp / owl
  A functional Scheme for world domination.
  ☆378Updated 6 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
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆616Updated 4 years ago
• haskus / haskus-system
  Moved to https://github.com/haskus/packages
  ☆348Updated 4 months ago
• sebmarkbage / ocamlrun-wasm
  OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
  ☆255Updated 7 years ago
• facebookarchive / immutable-re
  Immutable collections for the Reason programming language.
  ☆218Updated 5 years ago
• Drahflow / Elymas
  A programming language I can like. Unholy and full of magic.
  ☆194Updated 4 years ago