ShayDamir

@OpenSynergy Berlin, Germany

Pinned Repositories

klee
KLEE Symbolic Execution Engine
Language:C++2.6k 107 606684
busybox
BusyBox mirror
Language:C00
nolox
Attempt to create a toy OS kernel without locks
Language:Rust00
ShayDamir
Config files for my GitHub profile.
00
spmc_queue
Single Producer Multiple Consumer Lock-free Bound Owning queue written in Rust
Language:Rust10

ShayDamir's Repositories

ShayDamir/spmc_queue
Single Producer Multiple Consumer Lock-free Bound Owning queue written in Rust
Language:Rust10
ShayDamir/busybox
BusyBox mirror
Language:C00
ShayDamir/nolox
Attempt to create a toy OS kernel without locks
Language:Rust00
ShayDamir/ShayDamir
Config files for my GitHub profile.
00