Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"

A massively parallel, optimal functional runtime in Rust

Mathematics for Robotics

Build platforms that flexibly mix SQL, batch, and stream processing paradigms

A modern proof language

Use the LEO outlining editor to create a Vue.js webapp.

A gamification of the theorems in MATH40002 Analysis 1

Formalising lecture notes from 1st year Imperial Mathematics course.

Visualize markdown documents as mindmaps

An Infinitely Large Napkin

space-atom. spacemacs and sublimious style editing in atom

Experimental minisat SAT solver reimplementation in Rust

lamdu - towards the next generation IDE

Use SRT subtitle files to study foreign languages (in progress)

MOVED TO https://codeberg.org/wxHaskell/wxHaskell

A web-based collaborative LaTeX editor

SQL powered operating system instrumentation, monitoring, and analytics.

A collection of C++ HTTP libraries including an easy to use HTTP server.

Legacy repo, migrated to cheerp-compiler monorepo

A high performance, middleware oriented C++14 http web framework please use matt-42/lithium instead

A small, portable and extensible C++ 3D coding framework

USBdriveby exploits the trust of USB devices by emulating an HID keyboard and mouse, installing a cross-platform firewall-evading backdoor, and rerouting DNS within seconds of plugging it in.

A Teensy script to open up a reverse TCP shell on Windows machines in as little time as possible.

An esoteric programming language, come se fosse antani.

Haskell parser for Dalvik bytecode

The future of online communications.

Transform any javascript code to an equivalent sequence of ()[]{}!+ characters that runs in the browser!

Vim python-mode. PyLint, Rope, Pydoc, breakpoints from box.