A discord bot that gives notifications for upcoming algorithmic contests

High-performance QEMU memory and instruction tracing

RISC-V Opcodes

A tiny C header-only risc-v emulator.

RISC-V Open Source Supervisor Binary Interface

RV64GC Emulator: A RISC-V System Emulator that can boot Linux

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Xv6 for RISC-V

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

// Transluscent FirefoxCSS theme for MacOS

Coq code formatter

A proof tree viewer that works with Coq through Proof General

competitive programming folder

Jump to personal submissions from standings score in AtCoder.

A browser extension for Codeforces rating prediction

A tool to estimate the difficulties of USACO problems in terms of CodeForces rating.

Implementations of Algorithms and Data Structures

Modern theme for modern VIMs

Algorithms, data structures, and problems in competitive programming up to USACO Platinum

A discord bot that sends reminders for future contests.

Simple hotkey daemon for macOS

Competitive Programming Library

A simple web-app that predicts whether an upcoming Codeforces contest will be rated using Math.random() and Codeforces blog posts!

Real News Headlines + Fake Financial Predictions = St0nks

A tiling window manager for macOS based on binary space partitioning

A computer algebra system written in pure Python

A simple, lightweight judging api