Similar repositories to mwpb/idrisCT:

• mwpb/idrisCT github similar
• yforster/coq-synthetic-computability github similar
• bgavran/Idris_Category_Theory github similar
• MrChico/Smarter-contract-lang github similar
• laserpants/lambdapants github similar
• joonazan/justified-type-inference github similar
• LightAndLight/idris-lambda-reflection github similar
• wyn/incremental github similar
• jonsterling/guarded-theories github similar
• colin-adams/idris-libmicrohttpd github similar
• paf31/purescript-pairing github similar
• rbarreiro/ifui github similar
• sarahzrf/coq-depleted github similar
• xuanruiqi/commalg github similar
• jonsterling/coq-sgdt github similar
• elpinal/duploids github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• annenkov/trace-monoids github similar
• emarzion/Linear-Logic-Proof-Assistant github similar
• pigworker/InteriorDesign github similar
• danelahman/POPL18 github similar
• mortberg/TypeTheory github similar
• Vierkantor/refinement-parsers github similar
• uds-psl/churchs-thesis-coq github similar
• ahmadsalim/davidlang github similar
• bgavran/DependentOpticsIdris2 github similar
• roglo/coq_real github similar
• sjoerdvisscher/squares github similar
• olivierverdier/GeometricAlgebra github similar
• AndrasKovacs/preordertt github similar
• AHartNtkn/IotaTT github similar
• nachivpn/expelim github similar
• uds-psl/autosubst-ocaml github similar
• Event-Structures/event-struct github similar
• MrChico/Reals-in-agda github similar
• fizruk/lambda-mu-mu-calculus github similar
• jonsterling/agda-stc github similar
• ramsdell/agum github similar
• paf31/purescript-day github similar