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 last year
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Wasm SpecTec specification tools☆81Updated 2 weeks ago
- ☆87Updated last year
- Haskell binding for PADS☆21Updated 6 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆121Updated last week
- A functional fluent API generator☆35Updated 3 years ago
- ☆11Updated 4 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 6 months ago
- Apple array system☆68Updated last week
- Domain Specific Languages for Computational Law☆77Updated 6 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated 3 weeks ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 4 years ago
- A formal consistency proof of Quine's set theory New Foundations☆76Updated 6 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- An interactive Datalog☆64Updated last week
- A minimal proof checker.☆78Updated last year
- Reference counting with linear types☆31Updated last month
- Datalog with equality for rust☆73Updated 3 weeks ago
- ☆37Updated last year
- Pure functional programming with whole-program mutability inference☆79Updated 3 weeks ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆66Updated last month
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated 3 weeks ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 3 years ago
- A template for you to implement Hazelnut yourself☆22Updated 5 months ago
- Gallina to Bedrock2 compilation toolkit☆65Updated 3 weeks ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17Updated 3 years ago