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 8 years ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- Kleene algebra, regular expressions☆34May 12, 2026Updated 5 months ago
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Resources for the aspiring optician☆44Jun 3, 2020Updated 6 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- ☆25Jun 30, 2026Updated 3 months ago
- Modal editing witch, VI interpreter☆11Aug 18, 2026Updated 2 months ago
- Isomorphic Reasoning: Counting with Types☆39Jun 5, 2020Updated 6 years ago
- GitHub mirror for CI ONLY. All development happens on GitLab.☆41Mar 4, 2021Updated 5 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 10 years ago
- Integers bounded by a closed interval☆14Updated this week
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 11 years ago
- ☆56Mar 2, 2017Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Sep 18, 2020Updated 6 years ago
- Infer user interfaces from type signatures☆77Jan 30, 2018Updated 8 years ago
- Codo notation for programming with comonads in Haskell☆26Jan 24, 2021Updated 5 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 5 years ago
- Deep learning via category theory and functional programming☆152May 4, 2020Updated 6 years ago
- Some tools for provability logic☆35Apr 16, 2018Updated 8 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.
- The theory of groups☆83Sep 8, 2023Updated 3 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 4 years ago
- ☆28Sep 14, 2015Updated 11 years ago
- A handful of potentially useful crap for Standard ML☆21Sep 11, 2017Updated 9 years ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 7 years ago
- HM type system on a very restricted subset of JS☆13May 13, 2018Updated 8 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆122May 12, 2026Updated 5 months ago
- ☆11Jun 11, 2016Updated 10 years ago
- ZIO wrapper for AWS S3 SDK async client☆11Feb 21, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought☆13May 15, 2017Updated 9 years ago
- Type safe SQL query combinator in haskell☆10Jun 20, 2020Updated 6 years ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆59Jul 24, 2025Updated last year
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 10 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago