willcrichton / model-js-workspaceLinks
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
Sorting:
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆51Updated 3 months ago
- Reference counting with linear types☆31Updated 10 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- A JS devtool orchestrator☆44Updated 2 months ago
- ☆35Updated last year
- Hash-based Diffing for AST's☆76Updated 5 years ago
- LLM-powered typed-holes☆39Updated 3 weeks ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆70Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- Demo for dependent types + runtime code generation☆69Updated 3 months ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 7 months ago
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- Wasm SpecTec specification tools☆52Updated last week
- Datalog with equality for rust☆68Updated last month
- Functional Programming in Lean☆81Updated last week
- ☆43Updated 3 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆29Updated this week
- Minimal Prolog implemented in Rust☆44Updated 8 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆105Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Apple array system☆66Updated 2 weeks ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 3 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆34Updated 4 months ago
- Lean 4 port of Megaparsec☆28Updated last year
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 8 months ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago