Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
- elm
- json-schema
- json
- elixir
Yew wrapper around daisy components
- yew
- yew-framework
- rust
- webassembly