Andy Bui's repositories
2511-notes
Object Oriented programming notes
Language:C000
000
000
AOS
Advanced Operating Systems project
Language:C000
camkes-tool
The main CAmkES tool
NOASSERTION000
camkes-vm
Virtual Machine built as a CAmkES component.
NOASSERTION000
NOASSERTION000
NOASSERTION000
Language:JavaScript000
docs
This is the source of the seL4 docs.
000
EPIJudge
EPI Judge - Preview Release
NOASSERTION000
NOASSERTION000
hash-table-shootout
A benchmark of some prominent C++ hash set implementations
Language:C++000
openCMS
Weightlifting Competition Management System
Language:Python000
GPL-2.0000
reverie
:art: A ridiculously elegant Jekyll theme.
Language:SCSSMIT000
sample-market-maker
Sample BitMEX Market Making Bot
Apache-2.0000
seL4
The seL4 microkernel
Language:CNOASSERTION000
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
000
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
NOASSERTION000
NOASSERTION000
seL4_tools
Basic tools for building seL4 projects
Language:CNOASSERTION000
sel4test
Test suite for seL4.
NOASSERTION000
NOASSERTION000