Samuel Tyler

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.

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