kent-mcleod

Sydney, Australia

Pinned Repositories

aos_tests
Shared user-land tests for comp9242
Language:C0 2 00
boringtun
Userspace WireGuard® Implementation in Rust
Language:Rust0 1 00
Buildroot.cmake
CMake module for working with Buildroot
Language:CMake0 1 00
cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 2 00
camkes
Component Architecture test suite and example apps.
Language:C1 3 00
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.
0 1 00
camkes-tool
The main CAmkES tool
Language:Python0 2 00
camkes-vm
Virtual Machine build as a CAmkES component.
Language:C0 2 00
camkes-vm-examples
Language:C0 1 00
capdl
Capability Distribution Language tools for seL4
Language:Haskell0 1 00

kent-mcleod's Repositories

kent-mcleod/aos_tests
Shared user-land tests for comp9242
Language:C0 2 00
kent-mcleod/Buildroot.cmake
CMake module for working with Buildroot
Language:CMake0 1 00
kent-mcleod/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML0 2 00
kent-mcleod/jekyll-theme-bootstrap
This is a theme for Jekyll that is built from the Bootstrap project.
Language:CSS1 0
kent-mcleod/linter-rust
Linting your Rust-files in Atom, using rustc and cargo.
Language:CoffeeScript2 0
kent-mcleod/plyplus
a friendly yet powerful LR-parser written in Python
Language:Python2 0
kent-mcleod/samples
code samples and snippets
Language:Rust2 0
kent-mcleod/xargo
Effortless cross compilation of Rust programs to custom bare-metal targets like ARM Cortex-M
Language:Rust2 0