cohomolo-gy / homotopy-type-theory-notesView external linksLinks
HoTT Note-taking action
☆25Mar 24, 2019Updated 6 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
Sorting:
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 years ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- A lambda calculus to explore type-directed program synthesis.☆85Jan 20, 2020Updated 6 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- ☆25Jan 5, 2026Updated last month
- Modal editing witch, VI interpreter☆11May 29, 2020Updated 5 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Selective applicative functors☆16Jul 2, 2018Updated 7 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 7 years ago
- Combinatorial species in HoTT☆12May 23, 2015Updated 10 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- Topological sort algorithm☆15Jan 15, 2026Updated last month
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- WIP: Presentation turned blog series: Building the simplest possible thing over and over again.☆15Sep 5, 2017Updated 8 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Sep 18, 2020Updated 5 years ago
- Resources for the aspiring optician☆43Jun 3, 2020Updated 5 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Aug 28, 2022Updated 3 years ago
- A master-class in Origami - from primitive recursions to Kan-extension-based Folds☆14Nov 21, 2017Updated 8 years ago
- CoreFoundation bindings in OCaml☆15Jul 14, 2020Updated 5 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- ☆18Feb 20, 2024Updated last year
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- ☆23Aug 20, 2011Updated 14 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- PureScript bindings for the yargs command-line parsing library☆18Jun 19, 2018Updated 7 years ago
- ☆21Jun 19, 2019Updated 6 years ago
- Simple two-dimensional matrices backed by a flat array☆18Feb 24, 2020Updated 5 years ago
- MVCTodoApp built with functors. Models redux & react-redux architecture.☆13Oct 12, 2016Updated 9 years ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year