Skip to content

@HExSA-Lab HExSA Lab

Change the repository type filter

All

    Repositories list

    18 repositories

    • hawknest-skeleton

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

    • nautilus

      Public
      Nautilus Aerokernel
      hpcosoperating-systemnautilusunikernelsupercomputinghybrid-runtimesaerokernelkernelvirtual-machine
      C
      •
      Other
      •60•44•6•2•Updated May 11, 2022May 11, 2022

    • ocaml

      Public
      The core OCaml system: compilers, runtime system, base libraries
      OCaml
      •
      Other
      •1.1k•0•0•0•Updated May 5, 2022May 5, 2022

    • mktrace

      Public
      A tool to explore performance characteristics of applications in multi-OS systems
      operating-systemssystem-call-analysis
      C
      •
      MIT License
      •1•2•0•0•Updated 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
      •88•0•0•0•Updated Mar 11, 2021Mar 11, 2021

    • styleguide

      Public
      rules for writing and typesetting
      SCSS
      •
      MIT License
      •5•0•0•0•Updated Feb 24, 2021Feb 24, 2021

    • newlib-cygwin

      Public
      Cygwin newlib mirror
      C
      •
      GNU General Public License v2.0
      •77•1•0•0•Updated Jun 5, 2020Jun 5, 2020

    • gcc

      Public
      GNU General Public License v2.0
      •4.4k•0•0•0•Updated Jun 5, 2020Jun 5, 2020

    • binutils-gdb

      Public
      Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
      C
      •
      GNU General Public License v2.0
      •544•0•0•0•Updated Jun 4, 2020Jun 4, 2020

    • julia-measurement

      Public
      Julia measurement infrastructure
      Julia
      •1•1•4•0•Updated May 23, 2020May 23, 2020

    • db-nautilus-fork

      Public
      Fork of Nautilus that I can commit to frivolously for the NautDB project
      C
      •
      Other
      •1•0•0•1•Updated Mar 7, 2020Mar 7, 2020

    • hvm-runtime

      Public
      Linux port of a runtime system for managing hybrid virtual machines (HVMs) on top of QEMU/KVM
      virtual-machineoperating-systemqemu-kvmhybrid-runtimeshvmhrthybrid-virtual-machine
      C
      •0•2•0•0•Updated 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.6k•1•0•0•Updated Dec 26, 2018Dec 26, 2018

    • multiverse

      Public
      Split execution environments for specialized OS/Rs (Unikernels, HRTs, etc.)
      C
      •0•3•4•0•Updated Dec 26, 2018Dec 26, 2018

    • db-multiverse

      Public
      Initial experiments for DB-OS project (with integration with Multiverse)
      C
      •0•1•0•0•Updated Oct 12, 2018Oct 12, 2018

    • nk-perftest

      Public
      C
      •0•1•0•0•Updated Aug 3, 2018Aug 3, 2018

    • task_engine

      Public
      C++
      •0•0•0•0•Updated Jul 17, 2018Jul 17, 2018

    • aspace-tracker

      Public
      Utility to keep track of dynamics of a process's address space in Linux
      C
      •0•1•0•0•Updated Jul 4, 2018Jul 4, 2018