Similar repositories to logic-tools/nadea:

• logic-tools/nadea github similar
• trufflesuite/ganache-cli github similar
• hecrj/iced github similar
• latticetheory/latticetheory.github.io github similar
• tel/values-computation github similar
• franleplant/frd-lisp github similar
• logic-tools/secav github similar
• pruvisto/TRS github similar
• gclaramunt/CoqWorkshop github similar
• andre-artus/handbook-of-practical-logic-and-automated-reasoning-haskell github similar
• matthieubulte/purescript-proofs github similar
• NICTA/l4v github similar
• Coq-Math-Problems/Problems github similar
• EgbertRijke/GraphModel github similar
• yurrriq/idris-logic github similar
• inkydragon/MicroML.jl github similar
• Risto-Stevcev/category-theory-by-example github similar
• hintikkasworld/hintikkasworld github similar
• ssomayyajula/linear github similar
• pigworker/Ohrid-Agda github similar
• ayberkt/sml-system-t github similar
• jchavarri/bs-bn.js github similar
• ayberkt/Mini-TT github similar
• Microalg/microalg github similar
• ucsd-progsys/liquid-types-spacemacs github similar
• DeviousDevices/DDa github similar
• rightfold/gammascript github similar
• uwplse/magic github similar
• musha68k/chill-netcat github similar
• wimmers/munta github similar
• DeviousDevices/DDx github similar
• jaredly/reason_async_example github similar
• referentiallabs/idris-type-providers github similar
• Beluga-lang/Meta github similar
• tel/hotep github similar
• logic-tools/sml-handbook github similar
• haskell-rewriting/term-rewriting github similar
• moajohansson/IsaHipster github similar
• stefankoegel/clickyEvaluation github similar
• agda/ooAgda github similar