Repos by secure-foundations

secure-foundations / repos

25 repos

	Repo	Language	Stars	Rank
	provably-safe-sandboxing-wasm-usenix22	WebAssembly	35	106
	rWasm	Rust	27	18,484
	veri-titan	Dafny	20	11
	vWasm	OCaml	17	1,972
	veribetrkv-osdi2020	Dafny	9	17
	wasm-semantics-fuzzer	Rust	9	37,197
	mariposa	SMT	9	55
	owl	Haskell	8	7,636
	SWISS	Python	5	538,036
	everquic-dafny	C	5	120,996