Similar repositories to ssomayyajula/linear:

• ssomayyajula/linear github similar
• SciHS/scihs-docs github similar
• ReactTraining/react-router github similar
• tuvtran/project-based-learning github similar
• hecrj/iced github similar
• danistefanovic/build-your-own-x github similar
• pruvisto/TRS github similar
• nikivazou/co-liquid github similar
• lykmast/co-liquid github similar
• gclaramunt/CoqWorkshop github similar
• ssomayyajula/stlc github similar
• andre-artus/handbook-of-practical-logic-and-automated-reasoning-haskell github similar
• bollu/polyir github similar
• Kha/do-supplement github similar
• nikivazou/liquid-meta github similar
• nadia-polikarpova/cyclegg github similar
• javra/iit github similar
• Julian/lftim github similar
• JamesGallicchio/LeanColls github similar
• Risto-Stevcev/category-theory-by-example github similar
• ssomayyajula/refinery github similar
• julesjacobs/cgraphs github similar
• coq-contribs/lin-alg github similar
• ayberkt/sml-system-t github similar
• gergoerdi/hm-compo github similar
• larsk21/iris-lean github similar
• ucsd-progsys/liquid-types-spacemacs github similar
• logic-tools/nadea github similar
• tydeu/lean4-alloy github similar
• leanprover/lean4-samples github similar
• referentiallabs/idris-type-providers github similar
• xubaiw/Socket.lean github similar
• Coq-Math-Problems/Problems github similar
• benjaminselfridge/propcheck github similar
• eugmes/imp github similar
• Beluga-lang/Meta github similar
• haskell-rewriting/term-rewriting github similar
• leanprover/doc-gen4 github similar
• JoeyEremondi/pl-lt-rules github similar
• nikivazou/theorem-proving-template github similar