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 11 months ago
- Reference counting with linear types☆31Updated 3 weeks ago
- Wasm SpecTec specification tools☆81Updated last week
- Hash-based Diffing for AST's☆77Updated 5 years ago
- Datalog with equality for rust☆72Updated 3 weeks ago
- ☆11Updated 4 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 3 weeks ago
- ☆37Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆152Updated 5 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆93Updated last week
- ☆87Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆75Updated 5 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Apple array system☆68Updated 2 weeks ago
- A JS devtool orchestrator☆52Updated last month
- Pure functional programming with whole-program mutability inference☆78Updated 4 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆117Updated 3 weeks ago
- A graphical interactive proof assistant designed for education☆169Updated last year
- A library for deadlock-free session-typed communication in Rust.☆47Updated 4 years ago
- A template for you to implement Hazelnut yourself☆22Updated 5 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- A minimal proof checker.☆77Updated last year
- Domain Specific Languages for Computational Law☆77Updated 5 months ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- A WebAssembly implementation in Lean4☆37Updated 2 years ago
- Fungi: Typed incremental computation with names☆70Updated 6 years ago
- ☆119Updated last year