minchingtonak / lambster.devLinks
Web interface for https://github.com/minchingtonak/lambster
☆14Updated 3 months ago
Alternatives and similar repositories for lambster.dev
Users that are interested in lambster.dev are comparing it to the libraries listed below
Sorting:
- Lambda calculus interpreter written in TypeScript☆39Updated 3 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆370Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆421Updated this week
- A garden of small programming language implementations 🪴☆311Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆420Updated 2 weeks ago
- The Agda standard library☆644Updated last week
- agda-mode on VS Code☆185Updated this week
- A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!☆518Updated last week
- Minimal implementations for dependent type checking and elaboration☆762Updated last week
- Haskell MOOC University of Helsinki☆439Updated 3 weeks ago
- The agda-unimath library☆283Updated this week
- Hazel, a live functional programming environment with typed holes☆1,071Updated this week
- The Happy parser generator for Haskell☆319Updated 3 weeks ago
- Metamath source file for logic and set theory☆302Updated last week
- Haskell implemented with combinators☆684Updated last week
- Standard ML of New Jersey☆234Updated last week
- ☆356Updated 4 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆699Updated 3 weeks ago
- Tree Proof Generator☆177Updated 3 weeks ago
- Contextual types meet mechanized metatheory!☆206Updated 4 months ago
- Visual Studio Code extension for Coq☆432Updated 2 months ago
- HoTTEST Summer School materials☆322Updated 8 months ago
- Embeddable Lambda Prolog Interpreter☆337Updated 2 weeks ago
- BNF Converter☆618Updated 2 weeks ago
- An experimental library for Cubical Agda☆532Updated 2 weeks ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆149Updated 2 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆204Updated 2 months ago
- The MLton repository☆1,054Updated 2 weeks ago
- An interpreter for learning and exploring pure λ-calculus☆467Updated 4 years ago
- A demo implementation of a simple dependently-typed language☆617Updated last year