-
-
-
kbench Public
FreeBSD kernel benchmarking framework.
-
-
dguard Public
LLVM IR pass research prototype for new Data-Flow Integrity schemes.
-
freebsd-quarterly Public
Forked from freebsd/freebsd-quarterlyFreeBSD quarterly reports
Perl Other UpdatedDec 30, 2022 -
-
-
antlr4 Public
Forked from antlr/antlr4ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Java Other UpdatedOct 27, 2021 -
stealthdb Public
Forked from cryptograph/stealthdbStealthDB: an encrypted database from intel sgx with small trusted computing base.
PLpgSQL UpdatedNov 30, 2020