Similar repositories to polux/defunc:

• polux/defunc github similar
• ramsdell/cmu github similar
• kwf/Presburger github similar
• haileysome/refine github similar
• felipeperet/logic github similar
• revnull/stjck github similar
• matthiasgoergens/Quine github similar
• roboguy13/rewrite-logic github similar
• darius/req github similar
• andreasabel/risc386 github similar
• ramsdell/agum github similar
• Kaynato/DaoEsolang github similar
• MostAwesomeDude/zaha github similar
• konrad-wer/Equational-Proof-Checker github similar
• penteract/HigherOrderHornRefinement github similar
• jozefg/register-alloc github similar
• andygill/er-systemf github similar
• typedbyte/finito github similar
• chrisokasaki/lambdastepper github similar
• pa-ba/equivalence github similar
• benhuds/wangs-algorithm github similar
• Artish357/RelateJS github similar
• haslab/halex github similar
• evincarofautumn/hap-hs github similar
• isovector/wheatley github similar
• W95Psp/verified-abstract-interpreter github similar
• julianhyde/morel github similar
• malwaredllc/semantic-viz github similar
• Ahnfelt/AlgorithmWStepByStep github similar
• imneme/mini-sk github similar
• ezyang/eff github similar
• iambrj/metaKanren github similar
• john-ml/edsger github similar
• lambduli/monolog github similar
• parsonsmatt/beginner-error-messages github similar
• PseudoPower/AFSM github similar
• m-ender/wumpus github similar
• pigworker/Vole github similar
• tyehle/llvm-lambda github similar
• chaosim/dao github similar