Skip to content
Change the repository type filter

All

    Repositories list

    • Public repo for Hawknest 6502v emulator starter code
      C
      8101Updated Feb 8, 2024Feb 8, 2024
    • nautilus

      Public
      Nautilus Aerokernel
      C
      Other
      604462Updated May 11, 2022May 11, 2022
    • ocaml

      Public
      The core OCaml system: compilers, runtime system, base libraries
      OCaml
      Other
      1.1k000Updated May 5, 2022May 5, 2022
    • mktrace

      Public
      A tool to explore performance characteristics of applications in multi-OS systems
      C
      MIT License
      1200Updated Apr 14, 2021Apr 14, 2021
    • naiad

      Public
      The Naiad system provides fast incremental and iterative computation for data-parallel workloads
      C#
      Apache License 2.0
      87000Updated Mar 11, 2021Mar 11, 2021
    • rules for writing and typesetting
      SCSS
      MIT License
      6000Updated Feb 24, 2021Feb 24, 2021
    • Cygwin newlib mirror
      C
      GNU General Public License v2.0
      76100Updated Jun 5, 2020Jun 5, 2020
    • gcc

      Public
      GNU General Public License v2.0
      4.4k000Updated Jun 5, 2020Jun 5, 2020
    • Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
      C
      GNU General Public License v2.0
      547000Updated Jun 4, 2020Jun 4, 2020
    • Julia measurement infrastructure
      Julia
      1140Updated May 23, 2020May 23, 2020
    • Fork of Nautilus that I can commit to frivolously for the NautDB project
      C
      Other
      1001Updated Mar 7, 2020Mar 7, 2020
    • Linux port of a runtime system for managing hybrid virtual machines (HVMs) on top of QEMU/KVM
      C
      0200Updated Nov 14, 2019Nov 14, 2019
    • qemu

      Public
      Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
      C
      Other
      5.6k100Updated Dec 26, 2018Dec 26, 2018
    • Split execution environments for specialized OS/Rs (Unikernels, HRTs, etc.)
      C
      0340Updated Dec 26, 2018Dec 26, 2018
    • Initial experiments for DB-OS project (with integration with Multiverse)
      C
      0100Updated Oct 12, 2018Oct 12, 2018
    • C
      0100Updated Aug 3, 2018Aug 3, 2018
    • C++
      0000Updated Jul 17, 2018Jul 17, 2018
    • Utility to keep track of dynamics of a process's address space in Linux
      C
      0100Updated Jul 4, 2018Jul 4, 2018