Similar repositories to caviar-trs/caviar:

• caviar-trs/caviar github similar
• monadius/ocaml_simple_interval github similar
• termite-analyser/llvm2smt github similar
• karpathy/nanoGPT github similar
• facebookresearch/llama github similar
• aquynh/capstone github similar
• coq-contribs/bdds github similar
• opencompl/egg-tactic-code github similar
• Tomasfdel/Pythiger github similar
• SYNTCOMP/benchmarks github similar
• alaingiorgetti/enum github similar
• philzook58/souffle-egg github similar
• philzook58/egglog github similar
• mwillsey/egg-smol github similar
• riswords/quiche github similar
• penteract/HigherOrderHornRefinement github similar
• mgree/kmt github similar
• herbie-fp/egg-herbie github similar
• ucx-code/ucXception github similar
• MetaBorgCube/From-Definitional-Interpreter-To-Symbolic-Executor github similar
• catseye/Cardboard-Prolog github similar
• Kha/do-supplement github similar
• ilya-klyuchnikov/hosc github similar
• ccodel/verified-encodings github similar
• nadia-polikarpova/cyclegg github similar
• felipeperet/logic github similar
• lecopivo/lean4-karray github similar
• AD1024/dtlc github similar
• catseye/Philomath github similar
• samuelgruetter/coq-smt-notations github similar
• eionblanc/mini-sygus github similar
• pdarragh/camlrack github similar
• W95Psp/verified-abstract-interpreter github similar
• smtcoq/sniper github similar
• emilaxelsson/ag-graph github similar
• codyroux/hoare-toy github similar
• BIT-SYS/KDR github similar
• joehendrix/lean-sat-checker github similar
• arthurpaulino/NumLean github similar
• season-lab/fuzzy-sat github similar