glguida Goto Github PK

buildrump.sh

Utilities for building rump kernels

dx7-supercollider

My accurate Yamaha DX-7 clone. Programmed in Supercollider.

dx7revtools

Simple Yamaha DX7 reverse engineering tools

ecies

Elliptic Curve Integrated Encryption Scheme (ECIES)

eve

EVE is Edge Virtualization Engine

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

hacktm

A C++ library for experimenting with Numenta's Cortical Learning Algorithms

lac

a LISP interpreter

libcpu

libemu

x86 emulation and shellcode detection

libhacktm-old

A hobbyist FDR-based Hierarchical Temporal Memory implementation.

linenoise

A small self-contained alternative to readline and libedit

linuxkit

A toolkit for building secure, portable and lean operating systems for containers

mh

Development moved to https://github.com/mhsys/mh

microkernel.info

Community site for microkernel projects.

mirage-mrg

MRG core platform libraries for MirageOS -- fork of the solo5 port

ml1-llvm

A LOWL-to-LLVM map for compiling the ML/I Macro Processor.

pico-sdk

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

v8eval

Multi-language bindings to JavaScript engine V8

vlvm

a garbage collected runtime

vuos

view based o.s.

xen-4.4

Xen hypervisor version 4.4