willcrichton / model-js-workspace
My personal standard for how to set up a Javascript workspace
☆14Updated last year
Related projects ⓘ
Alternatives and complementary repositories for model-js-workspace
- Minimal Prolog implemented in Rust☆42Updated last month
- A JS devtool orchestrator☆37Updated this week
- ☆10Updated 3 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆25Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆66Updated this week
- Reference counting with linear types☆30Updated 4 months ago
- Datalog + Egg = Good☆65Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆14Updated 5 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 10 months ago
- Pure functional programming with whole-program mutability inference☆50Updated this week
- Datalog with equality for rust☆55Updated 3 weeks ago
- An experimental language server for SomewhatML☆24Updated last year
- ☆33Updated 7 months ago
- An implementation of Haskell’s MVars in Racket☆28Updated last month
- Slides and handwritten notes on the course on models of programming languages☆50Updated 4 years ago
- A template for you to implement Hazelnut yourself☆19Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated last month
- experiments with Martin-Löf type theory ⋃ erasure ⋃ Rust☆23Updated 8 months ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- A collection of programming languages and type systems.☆33Updated 3 months ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Demo for dependent types + runtime code generation☆48Updated this week
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 5 months ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- ☆25Updated this week
- A pure type system implemented in OCaml☆77Updated 3 years ago