MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
- ida-plugin
- taint-analysis
- reverse-engineering
- disassembly
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Data structures and algorithms in OCaml
A structured logger for Fluentd (OCaml)