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☆34May 12, 2026Updated last month
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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☆44Jun 3, 2020Updated 6 years ago
- Modal editing witch, VI interpreter☆11May 29, 2020Updated 6 years ago
- ☆25Jun 30, 2026Updated last week
- Isomorphic Reasoning: Counting with Types☆38Jun 5, 2020Updated 6 years ago
- Codo notation for programming with comonads in Haskell☆26Jan 24, 2021Updated 5 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 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.
- 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 9 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 11 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Integers bounded by a closed interval☆14Jun 23, 2026Updated 2 weeks 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆121May 12, 2026Updated last month
- The theory of groups☆83Sep 8, 2023Updated 2 years ago
- Some tools for provability logic☆35Apr 16, 2018Updated 8 years ago
- Deep learning via category theory and functional programming☆152May 4, 2020Updated 6 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 3 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 11 months ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- 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
- A handful of potentially useful crap for Standard ML☆21Sep 11, 2017Updated 8 years ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 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