Similar repositories to cdstanford/regex-smt-benchmarks:
cdstanford/regex-smt-benchmarks
github
similar
cdstanford/gid
github
similar
plclub/plclub-web
github
similar
fniksic/diffstream
github
similar
GunterMueller/C-Prolog
github
similar
jliagouris/wassm
github
similar
angelhof/flumina
github
similar
GLVis/pyglvis
github
similar
rutgers-apl/rlibm-all
github
similar
snape/Loopless-Functional-Algorithms
github
similar
JUrban/MPTP2
github
similar
mgree/kmt
github
similar
ingber/adaptive-simulated-annealing
github
similar
ptarau/TypesAndProofs
github
similar
ge-high-assurance/VERDICT
github
similar
mpimd-csc/flexiblas
github
similar
malb/m4ri
github
similar
logicmoo/logicmoo_workspace
github
similar
maude-team/maude
github
similar
HPAC/ReLAPACK
github
similar
upscale-project/pono
github
similar
curtsinger-lab/riker
github
similar
microsoft/Zen
github
similar
friguzzi/cplint
github
similar
mjsottile/sfsexp
github
similar
boltlabs-inc/dialectic
github
similar
didoudiaz/gprolog
github
similar
ppc64le/build-scripts
github
similar
knossos-project/knossos
github
similar
stfc/PSyclone
github
similar
bthies/streamit
github
similar
dmstern/html2biblatex
github
similar
andrejbauer/alg
github
similar
ourresearch/openalex-guts
github
similar
cp2k/dbcsr
github
similar
wouterbeek/prolog_library_collection
github
similar
PDLPorters/pdl
github
similar
evoldoers/biomake
github
similar
WolframResearch/codeparser
github
similar
LLNL/RAJAPerf
github
similar