Andy Bui (andybui01)

andybui01

Geek Repo

Location:Sydney

Github PK Tool:Github PK Tool

Andy Bui's repositories

owOS

💾 another hobby OS

Language:CLicense:GPL-3.0Stargazers:4Issues:1Issues:6

2511-notes

Object Oriented programming notes

Stargazers:2Issues:0Issues:0
Language:SCSSLicense:MITStargazers:1Issues:0Issues:0

sel4cp

seL4 Core Platform - A simple operating system for the seL4 microkernel

Language:PythonLicense:BSD-2-ClauseStargazers:1Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

AOS

Advanced Operating Systems project

Language:CStargazers:0Issues:0Issues:0

Bloom

🌸 C++ implementation of a Bloom filter

Language:C++License:MITStargazers:0Issues:1Issues:0

camkes-tool

The main CAmkES tool

License:NOASSERTIONStargazers:0Issues:0Issues:0

camkes-vm

Virtual Machine built as a CAmkES component.

License:NOASSERTIONStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

docs

This is the source of the seL4 docs.

Stargazers:0Issues:0Issues:0

EPIJudge

EPI Judge - Preview Release

License:NOASSERTIONStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

hash-table-shootout

A benchmark of some prominent C++ hash set implementations

Language:C++Stargazers:0Issues:0Issues:0

openCMS

Weightlifting Competition Management System

Language:PythonStargazers:0Issues:0Issues:0
License:GPL-2.0Stargazers:0Issues:0Issues:0

reverie

:art: A ridiculously elegant Jekyll theme.

Language:SCSSLicense:MITStargazers:0Issues:0Issues:0

sample-market-maker

Sample BitMEX Market Making Bot

License:Apache-2.0Stargazers:0Issues:0Issues:0

seL4

The seL4 microkernel

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

seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

Stargazers:0Issues:0Issues:0

seL4_libs

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

License:NOASSERTIONStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

seL4_tools

Basic tools for building seL4 projects

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

sel4test

Test suite for seL4.

License:NOASSERTIONStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0