Similar repositories to marcelosousa/descartes:

• marcelosousa/descartes github similar
• utopia-group/ReCoeus github similar
• overlogged/refinement.js github similar
• obastani/verifair github similar
• izgzhen/markii github similar
• sygus-tools/tychon github similar
• icra-team/icra github similar
• izgzhen/ui-checker github similar
• sellamiy/GPiD-Framework github similar
• horn-ice/hice-dt github similar
• c-cube/funarith github similar
• uuverifiers/sloth github similar
• rtoal/iki-compiler github similar
• jjhenkel/code-vectors-artifact github similar
• SnowOnion/Proof-Theory-Notes-zh_CN github similar
• Udopia/candy-kingdom github similar
• funemy/SWORD github similar
• catseye/Tamsin github similar
• GaloisInc/LinearArbitrary-SeaHorn github similar
• coron/htable github similar
• amaurremi/IDE github similar
• MarkusRabe/cadet github similar
• JohnReppy/compiling-pattern-guards github similar
• javert2/JaVerT2.0 github similar
• SRI-CSL/OCCAM github similar
• caterinaurban/Lyra github similar
• RobertHarper/hott-notes github similar
• catseye/SixtyPical github similar
• mpelleau/AbSolute github similar
• marcelwa/CEGIS github similar
• arbrad/IC3ref github similar
• techcentaur/Krivine-Machine github similar
• rod-lin/ivm github similar
• eprover/PyRes github similar
• boogie-org/corral github similar
• hkuplg/fcore github similar
• lorisdanto/symbolicautomata github similar
• chafan-dev/chafan-pwa github similar
• andrewliao11/awesome-neural-programming github similar
• kdudka/predator github similar