Repos
39
Stars
739
Forks
55
Top Language
Shell
Loading contributions...
Top Repositories
An attempt to provide a reproducible, automatic, complete end-to-end bootstrap from a minimal number of binary seeds to a supported fully functioning operating system.
Heuristics to find pregenerated source code
Creates a void linux lxd image.
Format markdown tables with spaces automagically so you don't have to!
Void Xbps Builder
pash, ssh crossed with pass to make a ssh key system.
Repositories
39An attempt to provide a reproducible, automatic, complete end-to-end bootstrap from a minimal number of binary seeds to a supported fully functioning operating system.
TLS/SSL and crypto library
Heuristics to find pregenerated source code
A tutorial for learning the seL4 Microkit
This repo contains the sources of the official Viper tutorial (http://viper.ethz.ch/tutorial). Feel free to submit your fixes and additions via pull requests. Please report technical issues via the issue tracker.
This is the official ebuild repository for Qubes OS Gentoo template.
A UNIX-like kernel for the i386 architecture
Small improvements and tweaks for rM devices, covering rM1, rM2 and rMPP.
A monorepo of extensions for the rM tablets, which utilize the XOVI framework
Bootstrapping tools for Janneke's MES
Format markdown tables with spaces automagically so you don't have to!
Source code for the Mathematics in Lean tutorial.
A more standards compliant C library written in M2-Planet's C subset
C Debugger for brand-new programmers
dcc - a C compiler which explains errors to novice programmers
my dotfiles
The Void source packages collection
Utils for streaming large files (S3, HDFS, gzip, bz2...)
Port of chibicc
Void Xbps Builder
Some scripts I use to make Travis CI a bit easier
Make to be built with TinyCC for mescc-tools-seed
Coreutils 5.0 ported to TinyCC and Mes C Library.
EP Hacker
The Python programming language
Creates a void linux lxd image.
A place for public review of the posix port of stage0
Macro Expander Saving Our m2-PLANET
pash, ssh crossed with pass to make a ssh key system.
2021 AoC solutions in Golang