A multimedia sketchpad

A curated list of code and resources for computer-controlled drawing machines and other visual art robots.

Automate spending requirements for high interest checking accounts / credit cards

A Flutter/Dart reverse engineering tool

An unoffical open-source controller for Cricut brand cutting machines, not associated with Cricut Inc.

Invert scroll direction for physical scroll wheels while maintaining "Natural" scrolling for trackpads on MacOS

Connecting computational and symbolic crypto models

The Python programming language

Course information for 6.892 (Spring 2017)

Generate and sign kernel images for UEFI Secure Boot on Arch Linux

C++ library for zkSNARKs

On proxy client connect create a channel and send the backlog to it.

Проект в летний математический лагерь МИФ 2013

A textbook on informal homotopy type theory

Yet another CV of yet another geek

Russian Post SOAP API client class

Activity logger to recover stolen or lost laptop.

An Erlang Plugin for Sublime Text 2, which enables code completion and allows you to run tests within the editor itself.

icfpc2012-tbd

a Sublime Text 2 package which includes snippets for Pascal Language

Alarmist is a piece of software for paranoids.

A collection of dynamic D bindings to C libraries, useful for multimedia and game development.

D version of the C headers for openssl

Contest Management System

The best way to browse imageboards

SMS to twitter gate server, using only cheap phones and a computer

The command string shortening service.