Similar repositories to potassco/eclingo-prototype:

• potassco/eclingo-prototype github similar
• jdevuyst/tableaux github similar
• CarsonScott/Automated-Logical-Systems github similar
• julianmendez/cel github similar
• phillord/hermit-reasoner github similar
• kseo/poly_constraints github similar
• coq-community/coq-art github similar
• jozefg/blott github similar
• esbmc/esbmc github similar
• accordproject/ergo github similar
• diffblue/cbmc github similar
• doctorn/micro-mitten github similar
• alpacaaa/zero-bullshit-haskell github similar
• dom96/nimkernel github similar
• emina/rosette github similar
• JetBrains/Arend github similar
• msoos/cryptominisat github similar
• cvc5/cvc5 github similar
• owlcs/owlapi github similar
• SodiumFRP/sodium github similar
• apache/jena github similar
• webyrd/Barliman github similar
• uwu-tech/Kind github similar
• dgryski/awesome-consensus github similar
• dafny-lang/dafny github similar
• idris-lang/Idris2 github similar
• tlaplus/tlaplus github similar
• Kindelia/Kind github similar
• wave-harmonic/crest github similar
• matter-labs/awesome-zero-knowledge-proofs github similar
• microsoft/QuantumKatas github similar
• Z3Prover/z3 github similar
• dotnet/reactive github similar
• google/auto github similar
• s-matyukevich/raspberry-pi-os github similar
• qmk/qmk_firmware github similar
• pyg-team/pytorch_geometric github similar
• mxgmn/WaveFunctionCollapse github similar
• kilimchoi/engineering-blogs github similar
• cfenollosa/os-tutorial github similar