maximecb / kavascript
Minimalistic dynamically-typed programming language for didactic purposes.
☆28Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for kavascript
- A toy programming language.☆37Updated 10 months ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated 8 months ago
- A statically-typed compiled language defined by a simple grammar☆23Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- ☆27Updated last year
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 5 months ago
- Type-Level Programming in Rust☆26Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆25Updated 2 years ago
- Statically typed general purpose programming language☆0Updated 7 months ago
- ☆10Updated 3 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆42Updated 8 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago
- An experimental language server for SomewhatML☆24Updated last year
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A (nearly) pure functional programming language.☆24Updated 5 years ago
- Simple conservative GC using mimalloc☆38Updated 2 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Charity Programming Language☆38Updated 9 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆11Updated 6 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆23Updated 10 months ago
- A safe and efficient target language for functional compilers☆19Updated 6 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago