Similar repositories to valis/DT2018:

• valis/DT2018 github similar
• Odomontois/Tincat github similar
• coq-contribs/coinductive-reals github similar
• groupoid/arend github similar
• o4/n2o github similar
• mjendrusch/lean-falso github similar
• awodey/Impredicative github similar
• awkure/hpt github similar
• imuli/flow github similar
• dredozubov/sf github similar
• DmytroMitin/arend-exercises github similar
• groupoid/hopf github similar
• felixwellen/FastFluidDynamics github similar
• valis/CT2020 github similar
• larrytheliquid/zero-cost-coercions github similar
• clarissalittler/pi-calculus github similar
• jpaykin/QuantumHIT github similar
• Kha/HoTT-book-agda github similar
• o4/proto github similar
• mwpb/idrisCT github similar
• joom/idris-microKanren github similar
• moshott/geocoq github similar
• Boarders/agda-halting github similar
• groupoid/anders github similar
• devaspot/lisp github similar
• tm507211/CoqPerceptron github similar
• o29/n2o github similar
• WikiNoi/WikiNoi github similar
• Kaptch/course_project_3year github similar
• paf31/purescript-pairing github similar
• nmvdw/Three-HITs github similar
• djspiewak/shapely github similar
• Thimoteus/purescript-hugenums github similar
• amutake/coq-extensible-effects github similar
• gstew5/games github similar
• bravit/csd-utwente github similar
• arthurpaulino/LeanMusic github similar
• bahmutov/minty-example github similar
• tel/purescript-intmaps github similar
• valis/DT2019.1 github similar