🤖 Python examples of popular machine learning algorithms with interactive Jupyter demos and math being explained

Framework for writing Linux kernel modules in safe Rust

An open-source alternative to proxifier

dotfiles for my Arch + i3 configuration (September 2018)

Some GTK themes for a companion to my Xfwm, Openbox, and Fluxbox themes

A real-time interactive WebGL visualisation of objects in Earth orbit

Raspberry Pi ARM based bare metal examples

Simple boot-over-serial bootloader for the Raspberry Pi

LaTeX bot that responds to Slack slash commands

mGBA Game Boy Advance Emulator

The MSR Ironclad project builds provably secure and reliable systems.

A framework for distributed systems verification, with fault injection

FSCQ is a certified file system written and proven in Coq

Raspberry-Pi Bare Metal Programming in C Tutorial

Multicore in-memory storage engine

Beta release of Masstree.

A quadcopter project based on Raspberry Pi and Arduino

Ligra: A Lightweight Graph Processing Framework for Shared Memory

Distribute work across machines using the lparallel API.

Mirror of Steel Bank Common Lisp (SBCL)'s official repository

A community effort to create an ocean object for Unity.

萌立方客户端APP本体