Curtis Millar (xurtis)

xurtis

Geek Repo

Company:@seL4

Location:NSW, Australia

Home Page:xurt.is

Github PK Tool:Github PK Tool

Curtis Millar's repositories

autumn

Functional parser for the Rust programming language

Language:RustLicense:ISCStargazers:4Issues:2Issues:0

import

POSIX shell script imports

Language:ShellStargazers:2Issues:1Issues:0

prime-profile

Profiling different languages by counting all the 30-bit positive prime numbers.

Language:CStargazers:1Issues:2Issues:0

AOS

Advanced Operating Systems project

Language:CStargazers:0Issues:1Issues:0

cakeml_libs

A collection of libraries and utilities to be used with CakeML applications.

Language:Standard MLStargazers:0Issues:1Issues:0

camkes

Component Architecture test suite and example apps.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

camkes-manifest

Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

Stargazers:0Issues:1Issues:0

camkes-tool

The main CAmkES tool

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

capdl

Capability Distribution Language tools for seL4

Stargazers:0Issues:0Issues:0

ci-actions

CI GitHub actions for the seL4 repositories

Language:ShellStargazers:0Issues:1Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

libnfs

NFS client library

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:CMakeStargazers:0Issues:2Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

orienteering-nsw

iCal calendars pulled from Eventor for australian events

Language:PythonStargazers:0Issues:1Issues:0
Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

pruner

Tool for trimming functions from a C source file

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rumprun

The Rumprun unikernel and toolchain for various platforms

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

sel4-github

github scripts for sel4-related tasks.

Stargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

seL4_tools

Basic tools for building seL4 projects

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

sel4runtime

A minimal runtime for seL4 applications.

Language:CStargazers:0Issues:1Issues:0

sel4test

Test suite for seL4.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

xurtis.pw

Github Pages Repo

Language:JavaScriptStargazers:0Issues:2Issues:0