Shaked Flur's repositories
coq-concurrency-model
Experimenting with writing operational concurrency model, like rmem, using interaction trees.
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Language:OCamlNOASSERTION000
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
Language:CoqMIT000
mirai-bug1
Tag analysis bug in MIRAI?
Language:RustApache-2.0000
oak
Meaningful control of data in distributed systems.
Language:RustApache-2.0000
opentitan
OpenTitan: Open source silicon root of trust
Language:SystemVerilogApache-2.0000
pgf
A Portable Graphic Format for TeX
Language:TeX000
riscv-isa-manual
RISC-V Instruction Set Manual
riscv-v-spec
Working draft of the proposed RISC-V V vector extension
Language:AssemblyCC-BY-4.0000
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Language:RustApache-2.0000
seahorn
SeaHorn Verification Framework
Language:CNOASSERTION000
sway
i3-compatible Wayland compositor
Language:CMIT000
xmas-elf
elf parser and navigation tool, pure Rust
Language:RustNOASSERTION000