tadeuzagallo / verve-langLinks
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
Sorting:
- 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
- A modern syntax for the λ-calculus.☆412Updated 9 years ago
- The compiler of the programming language Shem☆391Updated 4 years ago
- interpreted language written in C☆210Updated 3 years ago
- The Hindley Milner Type Inference Algorithm☆373Updated 8 years ago
- a multi-syntax language☆136Updated 9 years ago
- Multi-Language Platform for Dynamic Programming Languages☆636Updated 2 years ago
- Cloe programming language☆411Updated 7 months ago
- Write OCaml, use ReactJS. : DEPRECATED: USE REASONREACT☆117Updated 8 years ago
- A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.☆239Updated last year
- Programming language compiling to JavaScript☆463Updated 7 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 9 years ago
- A λ-calculus interpreter written in JavaScript☆158Updated 3 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
- L.B. Stanza Programming Language☆215Updated 2 years ago
- Concatenative programming for Javascript☆105Updated 10 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Updated 8 years ago
- 🔬 a C++ compiler middle-end, using an LLVM backend☆164Updated 3 years ago
- A Wildflower IDE for touch devices.☆95Updated 9 years ago
- Interpreted language focused on expressiveness and type safety.☆1,084Updated last week
- A programming language I can like. Unholy and full of magic.☆196Updated last month
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- Expressive static types and invariant checks for JavaScript.☆226Updated 8 years ago
- The Programming Language Céu☆222Updated 2 years ago
- A dead simple editor☆453Updated 5 years ago
- The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)☆725Updated 8 years ago
- Nit language☆249Updated 7 months ago
- Type inference and checking for a safer JavaScript.☆339Updated 6 years ago
- Immutable collections for the Reason programming language.☆217Updated 6 years ago