Similar repositories to brunjlar/protop:

• brunjlar/protop github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• Eloston/ungoogled-chromium github similar
• tootsuite/mastodon github similar
• ramsdell/agum github similar
• RobertHarper/hott-notes github similar
• meilisearch/MeiliSearch github similar
• postalhq/postal github similar
• nullgemm/ly github similar
• MatthewStein/adrenalina github similar
• StanzaOrg/lbstanza github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• jwiegley/constructive-ltl github similar
• robrix/Manifold github similar
• jonsterling/coq-domains github similar
• hecrj/iced github similar
• jonsterling/lecture-notes github similar
• juxt/crux github similar
• plt-hokusai/ahc github similar
• benjaminselfridge/logix github similar
• ekmett/keep github similar
• annenkov/two-level github similar
• TOTBWF/muprl github similar
• mathandley/Unie github similar
• MatthewDaggitt/agda-routing github similar
• LightAndLight/parametricity-proofs github similar
• awakesecurity/language-ninja github similar
• maxsnew/virtual-equipments github similar
• felixwellen/DCHoTT-Agda github similar
• taktoa/math-notes github similar
• ayberkt/AC-unification github similar
• mwpb/idrisCT github similar
• jonsterling/guarded-theories github similar
• mr-ohman/logrel-mltt github similar
• RedPRL/kado github similar
• gallais/agda-presburger github similar
• iokasimov/tictactoe github similar
• Profpatsch/slurp2nix github similar