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

• joshvera / effects

  View on GitHub
  An implementation of "Freer Monads, More Extensible Effects".
  ☆20Oct 17, 2018Updated 7 years ago
• frasertweedale / hs-fresnel

  View on GitHub
  Prism-based parsers and pretty printers
  ☆17Jan 1, 2018Updated 8 years ago
• robrix / path

  View on GitHub
  A lambda calculus to explore type-directed program synthesis.
  ☆85Jan 20, 2020Updated 6 years ago
• TOTBWF / iso

  View on GitHub
  A reversible language
  ☆22Sep 25, 2018Updated 7 years ago
• awakesecurity / proto3-wire

  View on GitHub
  ☆25Jan 5, 2026Updated last month
• kandu / mew_vi

  View on GitHub
  Modal editing witch, VI interpreter
  ☆11May 29, 2020Updated 5 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• mxswd / editable

  View on GitHub
  Derive editors for data types.
  ☆28Oct 5, 2014Updated 11 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• NicolasT / paxos

  View on GitHub
  A Haskell library implementing several Paxos-related algorithms
  ☆25Dec 13, 2012Updated 13 years ago
• kritzcreek / okasaki

  View on GitHub
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Nov 9, 2016Updated 9 years ago
• anttih / purescript-selective

  View on GitHub
  Selective applicative functors
  ☆16Jul 2, 2018Updated 7 years ago
• hdgarrood / qq-literals

  View on GitHub
  A Haskell library for compile-time checked literal values, via QuasiQuoters.
  ☆13Sep 20, 2021Updated 4 years ago
• phadej / kleene

  View on GitHub
  Kleene algebra, regular expressions
  ☆33Nov 18, 2023Updated 2 years ago
• batterseapower / lattices

  View on GitHub
  Fine-grained lattice primitives for Haskell
  ☆18Mar 8, 2018Updated 7 years ago
• jdoughertyii / hott-species

  View on GitHub
  Combinatorial species in HoTT
  ☆12May 23, 2015Updated 10 years ago
• purescript-contrib / purescript-precise

  View on GitHub
  A huge number library for Purescript with emphasis on correctness.
  ☆12Apr 27, 2022Updated 3 years ago
• janestreet / topological_sort

  View on GitHub
  Topological sort algorithm
  ☆15Jan 15, 2026Updated last month
• bobatkey / sorting-types

  View on GitHub
  Typed DSLs for sorting
  ☆20Feb 16, 2018Updated 8 years ago
• justinwoo / purescript-serialized-actions

  View on GitHub
  just an example of how simple ADTs should have JSON serialization and deserialization automatically derived
  ☆12Jan 22, 2017Updated 9 years ago
• sheganinans / urweb_deep_dive

  View on GitHub
  WIP: Presentation turned blog series: Building the simplest possible thing over and over again.
  ☆15Sep 5, 2017Updated 8 years ago
• gbaz / mess

  View on GitHub
  Martin-Löf Extensible Specification and Simulator
  ☆29Jul 1, 2015Updated 10 years ago
• sayon / dwarf-vm

  View on GitHub
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Sep 18, 2020Updated 5 years ago
• cohomolo-gy / optics-resources

  View on GitHub
  Resources for the aspiring optician
  ☆43Jun 3, 2020Updated 5 years ago
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• pveber / scirep

  View on GitHub
  Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
  ☆16Aug 28, 2022Updated 3 years ago
• emilypi / Cata-Mu-Fix

  View on GitHub
  A master-class in Origami - from primitive recursions to Kan-extension-based Folds
  ☆14Nov 21, 2017Updated 8 years ago
• dsheets / ocaml-osx-cf

  View on GitHub
  CoreFoundation bindings in OCaml
  ☆15Jul 14, 2020Updated 5 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• 2xs / pipcore

  View on GitHub
  ☆18Feb 20, 2024Updated last year
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 9 years ago
• andreasdotorg / pdfparser

  View on GitHub
  ☆23Aug 20, 2011Updated 14 years ago
• rintcius / purescript-aui

  View on GitHub
  Algebraic UI's in Purescript
  ☆15Dec 4, 2020Updated 5 years ago
• paf31 / purescript-yargs

  View on GitHub
  PureScript bindings for the yargs command-line parsing library
  ☆18Jun 19, 2018Updated 7 years ago
• natefaubion / purescript-optimizer

  View on GitHub
  ☆21Jun 19, 2019Updated 6 years ago
• kritzcreek / purescript-matrices

  View on GitHub
  Simple two-dimensional matrices backed by a flat array
  ☆18Feb 24, 2020Updated 5 years ago
• ShMcK / js-functor-todo

  View on GitHub
  MVCTodoApp built with functors. Models redux & react-redux architecture.
  ☆13Oct 12, 2016Updated 9 years ago
• ekmett / intervals

  View on GitHub
  Interval Arithmetic
  ☆27Jan 23, 2025Updated last year