willcrichton / model-js-workspaceLinks
My personal standard for how to set up a Javascript workspace
☆15Updated 2 years ago
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:
- Datalog + Egg = Good☆66Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆113Updated 2 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- Datalog with equality for rust☆69Updated 3 weeks ago
- ☆36Updated last year
- Hash-based Diffing for AST's☆77Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 4 months ago
- A minimal proof checker.☆75Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 2 months ago
- Apple array system☆67Updated this week
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Wasm SpecTec specification tools☆71Updated 2 weeks ago
- The Next Generation of Compositional Programming☆53Updated 3 weeks ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆149Updated 3 months ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- Reference compiler for c0☆37Updated 4 months ago
- An implementation of interaction nets as a forth-like language.☆38Updated last month
- Pure functional programming with whole-program mutability inference☆75Updated 2 months ago
- ☆11Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Minimal Prolog implemented in Rust☆45Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 3 years ago
- A JS devtool orchestrator☆48Updated 6 months ago
- Reference counting with linear types☆31Updated 2 weeks ago