Similar repositories to aman-goel/ivybench:

• aman-goel/ivybench github similar
• aman-goel/ic3po github similar
• openxla/iree github similar
• clayrat/dialectica github similar
• informalsystems/apalache-tests github similar
• will62794/endive-artifact github similar
• clarus/coq-moment github similar
• c-cube/smtlib-utils github similar
• GLaDOS-Michigan/I4 github similar
• SRI-CSL/high-assurance-crypto github similar
• epfl-lara/SystemFR github similar
• hebaalkayed/DistributedPlusCal github similar
• cs6213/tlaplus-examples github similar
• tangruize/tlc-cmd github similar
• tlaplus/rfcs github similar
• arthuraa/coq-utils github similar
• wilcoxjay/mypyvy github similar
• kenmcmil/ivy github similar
• awalterschulze/regex-reexamined-coq github similar
• ltlfuzzer/LTL-Fuzzer github similar
• florentc/vim-tla github similar
• onosproject/tlaplus-monitor github similar
• istoilkovska/synchronous-tla-benchmarks github similar
• pi8027/stablesort github similar
• coq/ceps github similar
• thery/hanoi github similar
• dboulytchev/miniKanren-coq github similar
• miniKanren/sokuza-kanren github similar
• japgolly/tla2json github similar
• aman-goel/avr github similar
• imdea-software/fcsl-pcm github similar
• coq-community/alea github similar
• informalsystems/vdd github similar
• vrahli/Velisarios github similar
• novifinancial/LibraChain github similar
• tlaplus-community/tree-sitter-tlaplus github similar
• Zilliqa/scilla-coq github similar
• thery/coqprime github similar
• tlaplus/tlapm github similar
• coq-community/coq-nix-toolbox github similar