Similar repositories to NICTA/iris-reasoner:

• NICTA/iris-reasoner github similar
• tootsuite/mastodon github similar
• oragono/oragono github similar
• w3c/credweb github similar
• lambdazen/pixy github similar
• wernsey/Jatalog github similar
• SWI-Prolog/packages-jpl github similar
• kreativekorp/openxion github similar
• kre/Kinetic-Rules-Engine github similar
• ipld/js-ipld-dag-cbor github similar
• SWI-Prolog/pengines github similar
• ainfosec/crema github similar
• emina/kodkod github similar
• szabta89/IncA github similar
• thehottgame/TheHoTTGame github similar
• ontologyportal/sigmakee github similar
• epfl-lara/ScalaZ3 github similar
• borgel/commute-deck github similar
• nwf/dyna github similar
• akkartik/teliva github similar
• jack-pappas/fsharp-logic-examples github similar
• ciao-lang/ciao github similar
• vprover/vampire github similar
• Web-Prolog/swi-web-prolog github similar
• WebOfTrustInfo/rwot6-santabarbara github similar
• nikodemus/screamer github similar
• w3c/EasierRDF github similar
• pirapira/eth-isabelle github similar
• phillord/tawny-owl github similar
• schwering/limbo github similar
• threatgrid/naga github similar
• ML-KULeuven/problog github similar
• SoarGroup/Soar github similar
• cool-RR/grid_royale github similar
• grahamedgecombe/icicle github similar
• gngrOrg/gngr github similar
• ottomatica/docable-notebooks github similar
• microsoft/SLAyer github similar
• replikativ/replikativ github similar
• mempko/firestr github similar