Similar repositories to kala-projects/kala-common:

• kala-projects/kala-common github similar
• hecrj/iced github similar
• tomgu1991/dissertation github similar
• tonyxty/Galois github similar
• tonyxty/FunWithArend github similar
• cyrus-/ptsms-paper github similar
• JLimperg/msc-thesis-code github similar
• SuperSodaSea/Netycat github similar
• JLimperg/well-founded-corecursion github similar
• uncle-betty/trust-but-verify github similar
• RobertHarper/nsml github similar
• re-xyr/hina github similar
• re-xyr/hemerocallis github similar
• forax/write_your_dynamic_language_runtime github similar
• tonyxty/hStacks github similar
• isrc-cas/PLCT-OpenDay-2020 github similar
• nachivpn/k github similar
• peterlefanulumsdaine/cartmell-thesis github similar
• anton-petrunin/birkhoff github similar
• SuperSodaSea/Textcat github similar
• msp-strath/platypus github similar
• rudymatela/express github similar
• awodey/math github similar
• lukeeey/mcpe-docs github similar
• Trebor-Huang/typical-math github similar
• re-xyr/avail github similar
• akemimadoka/LLVMCMakeBackend github similar
• hellogcc/OSDT2020 github similar
• jespercockx/ataca github similar
• AndrasKovacs/implicit-fun-elaboration github similar
• leanprover/tc github similar
• openjdk/valhalla-docs github similar
• thautwarm/Typed-BNF github similar
• AndrasKovacs/setoidtt github similar
• JetBrains/arend-lib github similar
• ZHaskell/z-data github similar
• digama0/lean-type-theory github similar
• valis/hoq github similar
• conal/denotational-hardware github similar
• HoTT/EPIT-2020 github similar