willcrichton / model-js-workspace
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
- A formal consistency proof of Quine's set theory New Foundations☆67Updated last month
- Reference counting with linear types☆31Updated 7 months ago
- ☆11Updated 3 years ago
- A JS devtool orchestrator☆40Updated this week
- Datalog + Egg = Good☆65Updated last year
- ☆34Updated 10 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Datalog with equality for rust☆68Updated 3 months ago
- Minimal Prolog implemented in Rust☆43Updated 4 months ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆72Updated this week
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆91Updated this week
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- An implementation of interaction nets as a forth-like language.☆27Updated this week
- Demo for dependent types + runtime code generation☆66Updated this week
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆27Updated last week
- A tree-sitter grammar for TLA⁺ and PlusCal☆60Updated 3 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆79Updated 4 months ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆13Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 8 months ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆15Updated 10 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si …☆14Updated 9 months ago