classical sequent calculus, embedded in Haskell
☆22Aug 24, 2025Updated last year
Alternatives and similar repositories for sequoia
Users that are interested in sequoia are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A reversible language☆22Sep 25, 2018Updated 8 years ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 6 years ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated last week
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- A WIP compiler for a functional language. Very incomplete!☆15Nov 6, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆16Sep 16, 2021Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆86Sep 24, 2026Updated last month
- Funny little Haskell impl☆18Oct 28, 2020Updated 6 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated 2 years ago
- A Tigerbeetle database client library for Haskell☆13Apr 8, 2026Updated 6 months ago
- ☆24Mar 24, 2026Updated 7 months ago
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago
- A dynamically-typed CBPV language embedded in Racket☆43Sep 15, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A simple concurrent programming language.☆24Nov 3, 2020Updated 5 years ago
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- backprop primitives for hmatrix☆13Feb 4, 2020Updated 6 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Category theory formalized in cubical agda☆22Feb 16, 2020Updated 6 years ago
- Library for invertible parsing and printing☆34Aug 25, 2025Updated last year
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Feb 25, 2020Updated 6 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 9 months ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 11 months ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 11 years ago
- a self-hosting lambda calculus compiler☆36Mar 31, 2025Updated last year
- ☆12Sep 22, 2020Updated 6 years ago
- Tic Tac Toe, formalized in Agda☆25Oct 19, 2021Updated 5 years ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆31Jun 18, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 3 months ago
- Experimental IntML-Implementation☆13Feb 1, 2025Updated last year
- a library for experimental linear lambda calculus☆21Mar 18, 2023Updated 3 years ago
- an arrowized category-forward language☆19Oct 14, 2025Updated last year
- Organize mathematical thoughts☆21Oct 6, 2023Updated 3 years ago
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago