Similar repositories to slibby05/rice:

• sunggg/SRTuner github similar
• slibby05/rice github similar
• verifast/verifast github similar
• cvc5/cvc5 github similar
• flang-compiler/flang github similar
• AbsInt/CompCert github similar
• leanprover/lean4 github similar
• dafny-lang/dafny github similar
• flycheck/flycheck github similar
• bytecodealliance/cranelift github similar
• MaskRay/ccls github similar
• facebookresearch/ReAgent github similar
• idris-lang/Idris-dev github similar
• coq/coq github similar
• veracrypt/VeraCrypt github similar
• ledger/ledger github similar
• akopytov/sysbench github similar
• Kindelia/HVM github similar
• haifengl/smile github similar
• dagger/dagger github similar
• moyix/fauxpilot github similar
• catboost/catboost github similar
• google/re2 github similar
• Z3Prover/z3 github similar
• bytecodealliance/wasmtime github similar
• rui314/mold github similar
• facebookresearch/faiss github similar
• facebook/zstd github similar
• koalaman/shellcheck github similar
• TheAlgorithms/Python github similar
• facebook/react github similar