Pinned Repositories
bootstrap
Start here
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)
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
linksem
Executable semantics of linking (ELF static linking only, for now)
mir-verifier-playground
mirai-bug1
Tag analysis bug in MIRAI?
num_enum
wledges
Active edges for wayland
wlosd
On-Screen Display for wayland
fshaked's Repositories
fshaked/bootstrap
Start here
fshaked/coq-concurrency-model
Experimenting with writing operational concurrency model, like rmem, using interaction trees.
fshaked/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
fshaked/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
fshaked/linksem
Executable semantics of linking (ELF static linking only, for now)
fshaked/mir-verifier-playground
fshaked/mirai-bug1
Tag analysis bug in MIRAI?
fshaked/num_enum
fshaked/oak
Meaningful control of data in distributed systems.
fshaked/opentitan
OpenTitan: Open source silicon root of trust
fshaked/pgf
A Portable Graphic Format for TeX
fshaked/riscv-isa-manual
RISC-V Instruction Set Manual
fshaked/riscv-v-spec
Working draft of the proposed RISC-V V vector extension
fshaked/wledges
Active edges for wayland
fshaked/wlosd
On-Screen Display for wayland
fshaked/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
fshaked/seahorn
SeaHorn Verification Framework
fshaked/seahorn-playgroung
fshaked/silveroak
Formal specification and verification of hardware, especially for security and privacy.
fshaked/sway
i3-compatible Wayland compositor
fshaked/xmas-elf
elf parser and navigation tool, pure Rust