Master programming by recreating your favorite technologies from scratch.

A library to help writing wrappers around ocaml code for python

Haskell In New Clothes

Rudimentary Roam replica with Org-mode

ShellCheck, a static analysis tool for shell scripts

An analysis tool for Python that blurs the line between testing and type systems.

APALACHE: symbolic model checker for TLA+ and Quint

OCaml bindings for Python

Python 3.5+ bindings for OCaml

PyO3-based Rust bindings of the NumPy C-API

A curated list of awesome warez and piracy links

Transparent proxy server that works as a poor man's VPN. Forwards over ssh. Doesn't require admin. Works with Linux and MacOS. Supports DNS tunneling.

KCC (a.k.a. Kindle Comic Converter) is a comic and manga converter for ebook readers.

Master the command line, in one page

Static assets for legalese.com

A rule engine based on Attempto Controlled English

The next open source file uploader for web browsers 🐶

Never use print for debugging again

A collection of TLA⁺ specifications of varying complexities.

Continuous Unix commit history from 1970 until today

mawww's experiment for a better code editor

Elegant, modern and asynchronous Telegram MTProto API framework in Python for users and bots

Apprise - Push Notifications that work with just about every platform!

The Python-only web framework

lambda calculus compiler

Pampy: The Pattern Matching for Python you always dreamed of.

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

Extending C with cmacro