Beast code in Giters

Cole Faust's starred repositories

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Minimal Linux Live (MLL) is a tiny educational Linux distribution, which is designed to be built from scratch by using a collection of automated shell scripts. Minimal Linux Live offers a core environment with just the Linux kernel, GNU C library, and Busybox userland utilities.

Language:HTMLGPL-3.01516 97 179

minimal-linux-script

One script which generates live Linux ISO image with minimal effort. Based on the first published version of Minimal Linux Live: http://github.com/ivandavidov/minimal

Language:ShellGPL-3.0221 18 12

dino

Chrome's t-rex based bootsector game (512 bytes) written in 16-bit x86 assembly (now with 8086 support!)

Language:AssemblyMIT104 5 6

heapprof

A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries

Language:CBSD-2-Clause47 40