Similar repositories to BIT-SYS/KDR:

• BIT-SYS/KDR github similar
• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• opencompl/egg-tactic-code github similar
• mc-imperial/chauffeur github similar
• riswords/quiche github similar
• nadia-polikarpova/cyclegg github similar
• ccodel/verified-encodings github similar
• lecopivo/lean4-karray github similar
• eionblanc/mini-sygus github similar
• codyroux/hoare-toy github similar
• joehendrix/lean-sat-checker github similar
• arthurpaulino/NumLean github similar
• arthurpaulino/LeanMySQL github similar
• ezyang/eff github similar
• leanprover/lean4-samples github similar
• KasraF/LooPy github similar
• Tritlo/PropR github similar
• dricketts/teaching-concurrency github similar
• ufmg-smite/lean-smt github similar
• jvstech/float-compare-pass github similar
• leanprover/functional_programming_in_lean github similar
• aryx/yacfe github similar
• llee454/functional-algebra github similar
• soren-n/bidi-higher-rank-poly github similar
• hvdthong/PatchNetTool github similar
• larsk21/iris-lean github similar
• leanprover/LeanInk github similar
• jameysharp/optir github similar
• smtcoq/sniper github similar
• finiteloop/compiler github similar
• avigad/lamr github similar
• tlringer/plugin-tutorial github similar
• revng/vscode-llvm-ir github similar
• umnsec/cheq github similar
• nilehmann/liquid-rust github similar
• draperlaboratory/VIBES github similar
• dglittle/shelf github similar
• ejgallego/pycoq github similar
• bzhan/holpy github similar