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☆40Updated 3 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆370Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆420Updated 2 weeks ago
- The agda-unimath library☆283Updated this week
- HoTTEST Summer School materials☆322Updated 8 months ago
- An experimental library for Cubical Agda☆532Updated 2 weeks ago
- Contextual types meet mechanized metatheory!☆206Updated 4 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆700Updated 3 weeks ago
- agda-mode on VS Code☆185Updated this week
- Visual Studio Code extension for Coq☆432Updated 2 months ago
- Language based on Rewriting Logic☆158Updated last week
- Embeddable Lambda Prolog Interpreter☆338Updated 2 weeks ago
- Minimal implementations for dependent type checking and elaboration☆762Updated last week
- The Agda standard library☆644Updated last week
- Source code for the nLab☆201Updated 10 months ago
- A garden of small programming language implementations 🪴☆311Updated last week
- A proof assistant for higher-dimensional type theory☆234Updated 2 weeks ago
- 😎TT☆241Updated 2 months ago
- A curated list of combinators☆125Updated 3 weeks ago
- A demo implementation of a simple dependently-typed language☆617Updated last year
- A web site for converting haskell code into pointfree haskell code☆165Updated 3 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Lambda Calculus compiler for Codewars☆17Updated 4 months ago
- Time-traveling C-like programming language for the Sphinx architecture☆16Updated 9 months ago
- Demo for high-performance type theory elaboration☆579Updated last week
- A language server for Standard ML.☆237Updated 2 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆421Updated this week
- Type-checker for the λΠ-calculus modulo rewriting☆225Updated 2 months ago