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
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- ☆11Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆77Updated 3 months ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- Wasm SpecTec specification tools☆76Updated 2 weeks ago
- ☆53Updated 2 months ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆91Updated this week
- Apple array system☆68Updated last week
- ☆37Updated last year
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- Datalog with equality for rust☆71Updated last week
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A template for you to implement Hazelnut yourself☆22Updated 3 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆115Updated this week
- A JS devtool orchestrator☆49Updated 7 months ago
- Reference counting with linear types☆31Updated last month
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- ☆83Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- Solving the 1 Billion Row Challenge in MPL☆17Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- ☆16Updated 3 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆65Updated 4 years ago