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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- ☆25Mar 22, 2026Updated last week
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 3 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆121May 31, 2025Updated 9 months ago
- The theory of groups☆82Sep 8, 2023Updated 2 years ago
- Some tools for provability logic☆37Apr 16, 2018Updated 7 years ago
- Deep learning via category theory and functional programming☆152May 4, 2020Updated 5 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 8 months ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- ZIO wrapper for AWS S3 SDK async client☆11Feb 21, 2020Updated 6 years ago
- 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
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 3 years ago