Curtis Millar
xurtis
Student at the school of Computer Science and Engineering at UNSW Sydney and engineer in the Trustworthy Systems Group ad Data61.
Languages
Top Repositories
Repositories
92POSIX shell script imports
No description provided.
Profiling different languages by counting all the 30-bit positive prime numbers.
A simple bitmap library
Github Pages Repo
Functional parser for the Rust programming language
No description provided.
iCal calendars pulled from Eventor for australian events
Advanced Operating Systems project
A collection of libraries and utilities to be used with CakeML applications.
No description provided.
No description provided.
The Rumprun unikernel and toolchain for various platforms
No description provided.
Tool for trimming functions from a C source file
Capability Distribution Language tools for seL4
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
Proof-Code Cogeneration
NFS client library
The main CAmkES tool
No description provided.
Component Architecture test suite and example apps.
No description provided.
CI GitHub actions for the seL4 repositories
No description provided.
No description provided.
github scripts for sel4-related tasks.
Basic tools for building seL4 projects
A minimal runtime for seL4 applications.
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.