HoTT Note-taking action
☆25Mar 24, 2019Updated 7 years ago
Alternatives and similar repositories for homotopy-type-theory-notes
Users that are interested in homotopy-type-theory-notes 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 7 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- Derive editors for data types.☆29Oct 5, 2014Updated 11 years ago
- Resources for the aspiring optician☆43Jun 3, 2020Updated 5 years ago
- Modal editing witch, VI interpreter☆11May 29, 2020Updated 5 years ago
- ☆25Apr 1, 2026Updated 2 weeks ago
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 5 years ago
- Codo notation for programming with comonads in Haskell☆25Jan 24, 2021Updated 5 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- 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.
- GitHub mirror for CI ONLY. All development happens on GitLab.☆41Mar 4, 2021Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Integers bounded by a closed interval☆14Dec 15, 2025Updated 4 months ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Sep 18, 2020Updated 5 years ago
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆121May 31, 2025Updated 10 months ago
- The theory of groups☆82Sep 8, 2023Updated 2 years ago
- Some tools for provability logic☆37Apr 16, 2018Updated 8 years ago
- Deep learning via category theory and functional programming☆152May 4, 2020Updated 5 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆54Jul 24, 2025Updated 8 months ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- 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.
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Template for starting FP libraries ready to be published☆84Jul 10, 2024Updated last year
- Canonical normalizing flows☆10Apr 30, 2019Updated 6 years ago
- Example of doing code generation with scala.meta in sbt☆12Mar 27, 2018Updated 8 years ago
- ZIO wrapper for AWS S3 SDK async client☆11Feb 21, 2020Updated 6 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago
- ☆29Sep 14, 2015Updated 10 years ago