Similar repositories to bgavran/Idris_Category_Theory:

• tootsuite/mastodon github similar
• postalhq/postal github similar
• bgavran/Idris_Category_Theory github similar
• andorp/ArchaIdr github similar
• mwpb/idrisCT github similar
• LightAndLight/idris-lambda-reflection github similar
• wyn/incremental github similar
• jonsterling/guarded-theories github similar
• colin-adams/idris-libmicrohttpd github similar
• thery/FlocqLecture github similar
• rbarreiro/ifui github similar
• sarahzrf/coq-depleted github similar
• xuanruiqi/commalg github similar
• jonsterling/coq-sgdt github similar
• elpinal/duploids github similar
• redfish64/NomicCoin201710 github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• paf31/purescript-pairing github similar
• annenkov/trace-monoids github similar
• yforster/coq-synthetic-computability github similar
• gallais/great-library-of-idris github similar
• pigworker/InteriorDesign github similar
• danelahman/POPL18 github similar
• ahmadsalim/davidlang github similar
• logsem/free-theorems-sl github similar
• simongregersen/DepSec github similar
• border-patrol/lightclick github similar
• roglo/coq_real github similar
• Vierkantor/refinement-parsers github similar
• sjoerdvisscher/squares github similar
• uds-psl/churchs-thesis-coq github similar
• eraserhd/Idris-book github similar
• MarcelineVQ/idris2-streaming github similar
• jdolson/univalence-from-scratch github similar
• olivierverdier/GeometricAlgebra github similar
• AHartNtkn/IotaTT github similar
• nachivpn/expelim github similar
• uds-psl/autosubst-ocaml github similar
• Event-Structures/event-struct github similar