willcrichton / model-js-workspaceLinks
My personal standard for how to set up a Javascript workspace
☆14Updated last year
Alternatives and similar repositories for model-js-workspace
Users that are interested in model-js-workspace are comparing it to the libraries listed below
Sorting:
- ☆11Updated 3 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆52Updated 4 months ago
- A collection of programming languages and type systems.☆33Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A JS devtool orchestrator☆45Updated 3 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- A template for you to implement Hazelnut yourself☆22Updated 2 weeks ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆79Updated this week
- Reference counting with linear types☆31Updated 11 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 3 years ago
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆26Updated 2 years ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆107Updated this week
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A simple induction and BMC engine.☆23Updated 3 years ago
- ☆35Updated last year
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Class of data structures that can be unfolded.☆22Updated last year
- Pure functional programming with whole-program mutability inference☆70Updated 2 weeks ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆29Updated 2 weeks ago
- vertical + gpu + free join + datalog☆20Updated 4 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆31Updated this week
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 8 months ago