Similar repositories to CertiCoq/VeriFFI:

• CertiCoq/VeriFFI github similar
• danistefanovic/build-your-own-x github similar
• jerryjliu/gpt_index github similar
• karpathy/nanoGPT github similar
• jart/blink github similar
• hecrj/iced github similar
• team-video/aviary.sh github similar
• tootsuite/mastodon github similar
• AkihiroSuda/lima github similar
• terrastruct/d2 github similar
• leptos-rs/leptos github similar
• score-spec/spec github similar
• lucidrains/PaLM-rlhf-pytorch github similar
• hpcaitech/CachedEmbedding github similar
• juspay/hyperswitch github similar
• initialcommit-com/git-sim github similar
• fathyb/carbonyl github similar
• localsend/localsend github similar
• motion-canvas/motion-canvas github similar
• lllyasviel/ControlNet github similar
• dair-ai/Prompt-Engineering-Guide github similar
• m-bain/whisperX github similar
• cisagov/ESXiArgs-Recover github similar
• microsoft/BioGPT github similar
• elk-zone/elk github similar
• enhuiz/vall-e github similar
• jaymody/picoGPT github similar
• COCTI/certint-amb github similar
• appliedfm/coq-vsu-int_or_ptr github similar
• varlink/go-varlink-cmd github similar
• verified-network-toolchain/Verified-FEC github similar
• vehicle-lang/vehicle-formalisation github similar
• tropical-group/tropical-geometry github similar
• elpinal/regions github similar
• grin-compiler/souffle-cfa-optimization-experiment github similar
• tanersener/ffmpeg-kit github similar
• opencomputeproject/HWMgmt-DeviceMgr-DeviceManager github similar
• yallop/ocaml-reex github similar
• QuantumPL/bib github similar
• PLSysSec/rlbox_wasm2c_sandbox github similar