A toy implementation of the dependently typed lambda calculus known as λΠ
☆12Jan 29, 2020Updated 6 years ago
Alternatives and similar repositories for lambda-pi
Users that are interested in lambda-pi are comparing it to the libraries listed below
Sorting:
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- "Programs that explain their effects" talk material☆17Jun 22, 2018Updated 7 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- Абстрактный сетевой слой, основанный на Swift Concurrency☆10Aug 6, 2024Updated last year
- A Really Cool Calculator written in Haskell... or is it?☆45Aug 26, 2021Updated 4 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- ☆32Aug 19, 2023Updated 2 years ago
- Bidirectional Parsing. Work in Progress☆33Sep 23, 2024Updated last year
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- mojito☆12May 1, 2018Updated 7 years ago
- deep learning course materials☆15Jun 24, 2020Updated 5 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆64Updated this week
- ☆11Feb 15, 2023Updated 3 years ago
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 8 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- 🏎 Game inspired on TypeRacer. Who types faster? https://keystrokesrace.now.sh/☆11Oct 18, 2018Updated 7 years ago
- A plugin for circuit notation☆12Aug 8, 2025Updated 6 months ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Free Scientific Research Sites and Repositories for scientific journals, articles, papers, monographs, dissertation and thesis☆12Oct 9, 2021Updated 4 years ago
- A visual life management system. Map your personal life, see all your projects in one place, prioritize ruthlessly, and delegate the oper…☆29Updated this week
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Swift Memoize Macro: Effortless function memoization in Swift 👾☆13Jun 25, 2024Updated last year
- Minimal svelte component library example. IIFE/UMD/ES output☆10Oct 23, 2021Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Streaming parsers collection☆17Jun 19, 2020Updated 5 years ago
- Extensible Symbolic Mathematics in Browser☆10Nov 5, 2024Updated last year
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- An experimental Bluesky client written with Vue3 and Nuxt☆10Jan 25, 2026Updated last month
- ☆11Feb 22, 2025Updated last year
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago