sysml / uniprof

Related projects ⓘ

Alternatives and complementary repositories for uniprof

• joe-lawrence / linux-inject
  Proof of concept use of linux-inject and proces patching
  ☆39Updated 7 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• justincormack / frankenlibc
  Tools for running rump unikernels in userspace
  ☆56Updated 8 years ago
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆75Updated 4 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 7 years ago
• mirleft / tlstools
  some TLS utilities
  ☆17Updated 8 years ago
• tuxology / libebpf
  Experiemental userspace eBPF library
  ☆15Updated 9 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 8 years ago
• m4b / elf2json
  Converts an ELF binary to a JSON representation
  ☆33Updated 9 years ago
• mirage / qubes-mirage-skeleton
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Updated 3 years ago
• openvstorage / alba
  Open vStorage ALBA (alternate backend) creates a replicated or flexible network raid’ed object storage backend out of Seagate Kinetic dr…
  ☆28Updated 6 years ago
• picty / parsifal
  Parsifal : an OCaml-based parsing engine
  ☆62Updated 3 years ago
• prash-wghats / DTrace-win32
  DTrace for Windows OS
  ☆47Updated 6 years ago
• ahorn / smt-kit
  C++11 library for many-sorted logics
  ☆39Updated 8 years ago
• Netronome / bpf-tool
  user space tool for inspection and simple manipulation of eBPF programs and maps
  ☆25Updated 6 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 7 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆66Updated 6 years ago
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆55Updated 8 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆75Updated 3 months ago
• iovisor / iomodules
  IOModule manager and plugins
  ☆38Updated 7 years ago
• sibylfs / sibylfs_src
  Source for SibylFS model and test tools
  ☆34Updated 3 years ago
• jedisct1 / ratelimit
  Plug-and-play IP rate limiter in C
  ☆24Updated 3 years ago
• lkvm / lkvm
  Native Linux KVM Tool
  ☆44Updated 9 years ago
• opendtrace / scripts
  A collection of scripts that work with DTrace
  ☆50Updated 8 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆59Updated this week
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 7 years ago
• sysml / mini-os
  Minimalistic Operating System for Xen
  ☆65Updated 2 years ago
• ANSSI-FR / mabo
  MRT Parser
  ☆46Updated 5 years ago
• mirage / mirage-qubes
  Mirage support for writing QubesOS AppVM unikernels
  ☆63Updated 2 months ago