Gianluca Guida's repositories
dx7revtools
Simple Yamaha DX7 reverse engineering tools
libhacktm-old
A hobbyist FDR-based Hierarchical Temporal Memory implementation.
buildrump.sh
Utilities for building rump kernels
DX7-Supercollider
My accurate Yamaha DX-7 clone. Programmed in Supercollider.
ecies
Elliptic Curve Integrated Encryption Scheme (ECIES)
gcc_toolchain_build
Simple makefile to compile binutils+gcc on any supported triplet.
git2html
github clone of http://hssl.cs.jhu.edu/~neal/git2html/
gohugo-theme-ananke
Ananke: A theme for Hugo Sites
libemu
x86 emulation and shellcode detection
linenoise
A small self-contained alternative to readline and libedit
linuxkit
A toolkit for building secure, portable and lean operating systems for containers
microkernel.info
Community site for microkernel projects.
mirage-mrg
MRG core platform libraries for MirageOS -- fork of the solo5 port
polyml
Poly/ML
rumprun
The Rumprun unikernel and toolchain for various platforms
rumprun-packages
Ready-made packages of software for running on the Rumprun unikernel
src-netbsd
Mirror of NetBSD sources useful with rump kernels
starter-workflows
Accelerating new GitHub Actions workflows
swift
A compiler for BLOG probabilistic programming language
vuos
view based o.s.
xen-4.4
Xen hypervisor version 4.4