tadeuzagallo / verve-lang
A functional language for the working hacker
☆345Updated 3 years ago
Alternatives and similar repositories for verve-lang:
Users that are interested in verve-lang are comparing it to the libraries listed below
- A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.☆454Updated 8 years ago
- Ultra Tiny Compiler☆181Updated 6 years ago
- The compiler of the programming language Shem☆391Updated 4 years ago
- interpreted language written in C☆210Updated 3 years ago
- Multi-Language Platform for Dynamic Programming Languages☆636Updated 2 years ago
- Cloe programming language☆411Updated 4 months ago
- A modern syntax for the λ-calculus.☆413Updated 8 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Updated 9 years ago
- The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)☆725Updated 8 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆255Updated 8 years ago
- Programming language compiling to JavaScript☆464Updated 7 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆129Updated 8 years ago
- Ready up!☆271Updated 4 years ago
- The Hindley Milner Type Inference Algorithm☆367Updated 8 years ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT☆117Updated 8 years ago
- a multi-syntax language☆135Updated 9 years ago
- A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.☆237Updated last year
- Interpreted language focused on expressiveness and type safety.☆1,084Updated 8 months ago
- Expressive static types and invariant checks for JavaScript.☆227Updated 7 years ago
- A functional Scheme for world domination.☆382Updated 6 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 9 years ago
- L.B. Stanza Programming Language☆215Updated 2 years ago
- A programming language I can like. Unholy and full of magic.☆195Updated 3 months ago
- 🔬 a C++ compiler middle-end, using an LLVM backend☆164Updated 3 years ago
- Immutable collections for the Reason programming language.☆217Updated 6 years ago
- Source for "Haskell in ES6" article series☆286Updated 8 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- Statically typed functional programming language implementation with Go and LLVM☆754Updated 4 years ago
- An implementation of the SubC language in Go☆161Updated 7 years ago