The math library of Lean 4

A modern commutative diagram editor for the web.

🐳 Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker

Source code for the nLab

Ripser: efficient computation of Vietoris–Rips persistence barcodes

Browse media content with your own rules on Android TV

ZBar is an open source software suite for reading bar codes from various sources, including webcams. As its development stopped in 2012, I took the task of keeping it updated with the V4L2 API. Thi…

Cross-platform Rust rewrite of the GNU coreutils

libdmtx Library

Asleap - Cisco LEAP and Generic MS-CHAPv2 Dictionary Attack

Modified hostapd to facilitate AP impersonation attacks

Recipes

The Crimson Text typeface

Win32 port of OpenSSH

Programmatic generation of high-quality CVs

Shift planning system for refugees Helper in Munich

3D reproduction of TSA Master keys

Architectural privilege escalation on x86

weather app for the terminal

😓 rewrite of the CoffeeScript compiler with proper compiler design principles and a focus on robustness and extensibility

FTP search based on Go! and ElasticSearch for the 31. Chaos Communication Congress

Python 2.6+/3.1+ XMPP Library

A constrained node implementation of CBOR in C

Outdated mirror of the development of the CAcert web application, new location

Seesaw turns the Horror of Swing into a friendly, well-documented, Clojure library

FFI Bindings to interact with the unsafe world of JavaScript

metadata indexing and searching of video containers

Highly-extensible PHP Markdown parser which fully supports the CommonMark and GFM specs.

The Monad Transformer Library

A monadic parser combinator library