-
-
sysartifacts.github.io Public
Forked from sysartifacts/sysartifacts.github.ioWebsite for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
HTML UpdatedJun 10, 2025 -
-
-
1-click-flashcards Public
Effortless flashcards that fill their content automatically. Type a word and the definition is fetched from the Oxford dictionary / Urban dictionary / Reverso dictionary. Then learn your cards usin…
-
-
envadrouille-revbundler Public
Scripts used to create a new update. May be useful if you want to maintain your own EnVadrouille update server.
Perl UpdatedOct 15, 2023 -
JohnnyCache Public
Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)
-
OFence Public
Static analyzer that finds barrier-related bugs in Linux, based on Smatch.
1 UpdatedSep 14, 2022 -
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedMar 17, 2022 -
css-in-readme-like-wat Public
Forked from sindresorhus/css-in-readme-like-watStyle your readme using CSS with this simple trick
UpdatedJul 15, 2021 -
vcc Public
Forked from microsoft/vccA static verifier for concurrent C programs
C# Other UpdatedJan 20, 2021 -
KVell Public
KVell: the Design and Implementation of a Fast Persistent Key-Value Store
-
Minix3-Fine-Grain Public
Forked from JBouron/Minix3-Fine-GrainFine-grain implementation of the Minix3 microkernel
C Other UpdatedJun 26, 2019 -
linux Public
Forked from JBouron/linuxLinux kernel source tree with a ULE scheduler (branch loadbalancing)
C Other UpdatedMay 2, 2018 -
-
PinThreads Public
Ad-hoc library to pin threads
-
-
yt_history Public
Forked from jiiksteri/yt_historyYouTube Watch History browser server
C GNU General Public License v2.0 UpdatedJun 10, 2013
{{ message }}