Similar repositories to herbie-fp/rival:

• herbie-fp/rival github similar
• dys-bigwig/typing-scheme github similar
• tobega/RelationalData github similar
• arpra-project/arpra github similar
• pdmetcalfe/cambridge-maths github similar
• soarlab/FPTaylor github similar
• MichaelHatherly/Tectonic.jl github similar
• matthewfl/redmagic github similar
• blambov/RealLib github similar
• JuliaInv/jInv.jl github similar
• norbert-mueller/iRRAM github similar
• mbutterick/brag github similar
• JuliaData/DataStreams.jl github similar
• arminbiere/lingeling github similar
• chakravala/Fatou.jl github similar
• MikeInnes/DataFlow.jl github similar
• michaelballantyne/faster-miniKanren github similar
• JuliaComputing/static-julia github similar
• JuliaGizmos/Reactive.jl github similar
• JuliaDebug/Gallium.jl github similar
• scandum/fluxsort github similar
• arminbiere/cadical github similar
• numbbo/coco github similar
• stevengj/subsuper-proposal github similar
• chakravala/Reduce.jl github similar
• Gecode/gecode github similar
• queryverse/VegaLite.jl github similar
• kahypar/kahypar github similar
• Boolector/boolector github similar
• agraef/pure-lang github similar
• fredrik-johansson/arb github similar
• Alexhuszagh/rust-lexical github similar
• jamii/imp github similar
• JuliaSymbolics/Metatheory.jl github similar
• pysathq/pysat github similar
• soegaard/urlang github similar
• arminbiere/kissat github similar
• executablebooks/thebe github similar
• asmjit/asmdb github similar
• SRI-CSL/yices2 github similar