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
- Datalog + Egg = Good☆66Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆43Updated 2 months ago
- ☆34Updated last year
- The Pulse separation logic DSL for F*☆15Updated this week
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 10 months ago
- A JS devtool orchestrator☆41Updated last month
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Datalog with equality for rust☆68Updated 5 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 4 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 10 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 10 months ago
- Minimal Prolog implemented in Rust☆44Updated 6 months ago
- A formal consistency proof of Quine's set theory New Foundations☆69Updated last week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 6 months ago
- dependent type theory experiment☆25Updated last year
- An implementation of Haskell’s MVars in Racket☆28Updated 6 months ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 3 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆26Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Pure functional programming with whole-program mutability inference☆66Updated last month
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 2 months ago
- Reference counting with linear types☆31Updated 9 months ago
- Liquid Types implementation for Rust☆28Updated 2 years ago
- LLM-powered typed-holes☆28Updated this week
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago