Configure your nix flake developer shell with developer profiles and modules

A flake for flutter package out of nixpkgs.

Plex downloader that brings content from any server to yours!

Resources for my Homotopy Type Theory course at OPLSS 2023

OPLSS '23 Lecture Notes

This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers

This is the TeX for Hicks ``notes on differential geometry'', TeX'd by the TeXromancers.

The TeX for Adams' blue book, by the group TeXromancers

A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.

A small, flexible, scriptable tiling window manager written in Python

Home Directory Configuration Files

RHoK BlindSpot

RHoK BlindSpot

OpenTLD is an open source library for real-time 2D tracking of a single object in video. This repository is no longer under development. For latest version see: http://www.tldvision.com/tld2.html

Supertabs Server in Python

Plain Old Datatype

Earthquake Detection System for Android Phones with Accelerometer

A very basic cli-oriented unit testing framework for JavaScript using Rhino as the Engine. This is very vaguely inspired by py.test.

Human Skeletal Remains

Converts an xml description of a MySQL database to a set of MySQL statements that can then be executed to create the database

Supertabs: The One True Browsing Experience A set of add-ons/extensions (currently only provided for Chrome) which allow you to thematically group tabs and store them on a remote server to be acces…

🍪 A full-featured, hackable tiling window manager written and configured in Python (X11 + Wayland)