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