Similar repositories to k-qy/linear-logic:

• hypotext/linear-logic github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• olivierverdier/GeometricAlgebra github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• LightAndLight/idris-lambda-reflection github similar
• colin-adams/idris-libmicrohttpd github similar
• laMudri/quantitative github similar
• fsestini/tt-in-cubical github similar
• srdqty/talc-3.0 github similar
• proglang/ldgv github similar
• paf31/purescript-tropical github similar
• sanxiyn/rree github similar
• ziman/idris-scheme github similar
• asajeffrey/finite-dtypes github similar
• aatxe/diet-coke github similar
• danelahman/POPL18 github similar
• ahmadsalim/davidlang github similar
• lezer-parser/lezer github similar
• takanuva/coc github similar
• RobertHarper/hott-notes github similar
• roglo/coq_real github similar
• heyrutvik/nbe-a-tutorial github similar
• Lapin0t/induction-recursion github similar
• njaard/lending-cell github similar
• msullivan/typecoin github similar
• m-yac/tt-in-cagda github similar
• michaelsproul/dblib-linear github similar
• AndrasKovacs/preordertt github similar
• uds-psl/autosubst-ocaml github similar
• Event-Structures/event-struct github similar
• meta-logic/lltp github similar
• elpinal/types-1ml github similar
• k-qy/linear-logic github similar
• TOTBWF/cubical-categories github similar
• effectfully/Cubes github similar
• paf31/purescript-foreign-lens github similar