Similar repositories to matijapretnar/proofs:

• matijapretnar/proofs github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• jonsterling/itt-bidirectional github similar
• oven-sh/bun github similar
• hughfdjackson/abattoir github similar
• andrewthad/lens-prelude github similar
• jbracker/polymonad-proofs github similar
• nachivpn/coherence github similar
• heliaxdev/witch github similar
• anoma/juvix-archived github similar
• roc-lang/roc github similar
• jonsterling/coq-meaning-explanation github similar
• 5HT/agda-nr-cats github similar
• mikeshulman/ohtt github similar
• maxsnew/grammars-and-semantic-actions github similar
• motemen/gore github similar
• ToTal/total github similar
• boyland/twelf-library github similar
• nushio3/unittyped github similar
• ayberkt/sml-system-t github similar
• florence/esterel-calculus github similar
• JacquesCarette/pi-dual github similar
• hgoes/nbis github similar
• MonoidalAttackTrees/ATLL-Formalization github similar
• mmcqd/fibertt github similar
• JasonGross/lob-paper github similar
• dima-starosud/Dynamic github similar
• mikeshulman/hott-categories github similar
• jonsterling/Agda-Sheaves github similar
• andreasabel/sized-types github similar
• Agnishom/lattice-mtl github similar
• riaqn/orton github similar
• groupoid/anders github similar
• combinators/expression-problem github similar
• pamellies/models-of-programming-languages github similar
• saltlang/saltlang github similar
• Soostone/stoplight github similar
• chrisdone/ats-examples github similar