Similar repositories to dafny-lang/xdsmith:

• dafny-lang/xdsmith github similar
• adamtool/adam github similar
• ya0guang/ProgrammingLanguageCourse github similar
• sorawee/pprint-compact github similar
• MyskYko/bdd github similar
• kframework/boogie-semantics github similar
• icgrp/hipr github similar
• seahorn/verify-c-common github similar
• koengit/intuit github similar
• aposwolsky/delphin github similar
• willghatch/racket-chido-parse github similar
• dafny-lang/libraries github similar
• Kraks/MyPLZoo github similar
• viperproject/carbon github similar
• tonyg/racket-nat-traversal github similar
• jsiek/denotational_semantics github similar
• JoeyEremondi/GDTL-artifact github similar
• hopv/rust-horn github similar
• michaelballantyne/multiscope github similar
• martin-cs/symfpu github similar
• tsung-ju/SystemF github similar
• Soldat/soldat github similar
• anhvvcs/corana github similar
• rachelselinar/DREAMPlaceFPGA github similar
• Kraks/sai github similar
• jbclements/rust-redex github similar
• microsoft/PyCodeGPT github similar
• gallais/pearl-binary-search github similar
• bchurchill/pldi19-equivalence-checker github similar
• plum-umd/cgc github similar
• RafaelTupynamba/quicksampler github similar
• viperproject/silver github similar
• hernanponcedeleon/Dat3M github similar
• GaloisInc/mir-verifier github similar
• yjqww6/macrology github similar
• david-christiansen/todo-list github similar
• tnelson/Forge github similar
• jonsterling/agda-calf github similar
• uds-psl/MPCTT github similar
• namin/scalogno github similar