Similar repositories to ge-high-assurance/RACK:
ge-high-assurance/RACK
github
similar
AOMediaCodec/SVT-AV1
github
similar
embeddedartistry/gdtoa
github
similar
ge-high-assurance/VERDICT
github
similar
sireum/v3
github
similar
GaloisInc/AMIDOL
github
similar
loonwerks/CASE
github
similar
KhronosGroup/ANARI-Docs
github
similar
SemanticApplicationDesignLanguage/sadl
github
similar
OpenPonk/openponk
github
similar
Feldspar/feldspar-language
github
similar
overturetool/overture
github
similar
osate/examples
github
similar
OpenChemistry/chemicaljson
github
similar
OpenModelica/OMSimulator
github
similar
spiral-software/spiral-software
github
similar
Linaro/lava
github
similar
yoe/SReview
github
similar
laristra/flecsi
github
similar
AMReX-Astro/Nyx
github
similar
zephyrproject-rtos/zscilib
github
similar
moves-rwth/storm
github
similar
GMLC-TDC/HELICS
github
similar
fnogatz/CHR.js
github
similar
hotg-ai/rune
github
similar
SCIInstitute/SCIRun
github
similar
chriskempson/base16
github
similar
mit-plv/kami
github
similar
BioJulia/BioSequences.jl
github
similar
NaluCFD/Nalu
github
similar
eclipse/capella
github
similar
wsmoses/Tapir-LLVM
github
similar
pachterlab/poseidon
github
similar
ecmnet/MAVGCL
github
similar
SCOREC/core
github
similar
InsightSoftwareConsortium/itk-wasm
github
similar
openturns/openturns
github
similar
michiyasunaga/DrRepair
github
similar
myint/perceptualdiff
github
similar
erikzenker/hsm
github
similar