Skip to content
View oliver-wm's full-sized avatar
9 followers · 46 following
  • Brooklyn, NYC

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report oliver-wm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • aws-lc Public

    Forked from aws/aws-lc

    AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

    C++ Other Updated Feb 29, 2024

  • rustraft Public

    playing around with the raft protocol in rust

    Rust Updated Sep 20, 2022

  • aes-rs Public

    playing around with aes impl

    Rust Updated Nov 26, 2021

  • docs Public

    Forked from seL4/docs

    This is the source of the seL4 docs.

    C Updated Oct 1, 2021

  • seL4_tools Public

    Forked from seL4/seL4_tools

    Basic tools for building seL4 projects

    C Other Updated May 17, 2021

  • seL4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C Other Updated May 17, 2021

  • util_libs Public

    Forked from seL4/util_libs
    C Other Updated Apr 14, 2021

  • sel4test Public

    Forked from seL4/sel4test

    Test suite for seL4.

    C Other Updated Apr 6, 2021

  • chess Public

    the queens gambit

    Python Updated Dec 13, 2020

  • camkes-arm-vm Public

    Forked from seL4/camkes-arm-vm
    C Other Updated Aug 12, 2020

  • capdl Public

    Forked from seL4/capdl

    Capability Distribution Language tools for seL4

    Haskell Updated Aug 10, 2020

  • camkes-tool Public

    Forked from seL4/camkes-tool

    The main CAmkES tool

    Python Other Updated Aug 5, 2020

  • camkes-vm Public

    Forked from seL4/camkes-vm

    Virtual Machine build as a CAmkES component.

    C Updated Aug 5, 2020

  • camkes Public

    Forked from seL4/camkes

    Component Architecture test suite and example apps.

    C Other Updated Jul 29, 2020

  • seL4_libs Public

    Forked from seL4/seL4_libs

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

    C Other Updated Jul 21, 2020

  • sel4bench Public

    Forked from seL4/sel4bench

    sel4 benchmarking applications and support library.

    C Other Updated Jul 15, 2020

  • zdoom Public

    Forked from rheit/zdoom

    Unifying all Doom engine games and adding countless possibilities.

    C++ Updated Jun 2, 2020

  • mio Public

    Forked from tokio-rs/mio

    Metal IO library for Rust

    Rust MIT License Updated Mar 30, 2020

  • fp-course Public

    Forked from system-f/fp-course

    Functional Programming Course

    Haskell Updated Feb 19, 2020

  • camkes-vm-examples Public

    Forked from seL4/camkes-vm-examples
    C Updated Feb 19, 2020

  • firecracker Public

    Forked from firecracker-microvm/firecracker

    Secure and fast microVMs for serverless computing.

    Rust Apache License 2.0 Updated Jul 3, 2019

  • cryptominisat Public

    Forked from msoos/cryptominisat

    An advanced SAT Solver

    C++ Other Updated Feb 15, 2019

  • AOC Public

    Python Updated Dec 22, 2017

  • chromium Public

    Forked from chromium/-archived-chromium

    Open-source project behind Google Chrome

    Updated Oct 17, 2017

  • socat Public

    Forked from erluko/socat

    socat - Multipurpose relay (cloned from git:https://repo.or.cz/socat.git) - I am not the project owner, please submit bugs to [email protected]

    C GNU General Public License v2.0 Updated Nov 23, 2016

  • kemufuzzer Public

    Automatically exported from code.google.com/p/kemufuzzer

    C GNU General Public License v3.0 Updated Sep 7, 2015