The cuteness implementation of a dependently typed language.

KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

Log what files are accessed by any Linux process

Easily run Python at the shell! Magical, but never mysterious.

Rich is a Python library for rich text and beautiful formatting in the terminal.

Haskell/GHC symbol search cheatsheet

The swiss army knife of lossless video/audio editing

A Python port of SMAZ small text string compression library

Cleaned version of the Nottingham dataset

Follow blogs, wikis, YouTube channels, as well as accounts on Twitter, Instagram, etc. from a single page.

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

Online interactive crossword software in JavaScript

101+ coding interview problems in Go

A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell

The Glitch word list, packaged into an NPM module for easy use.

Use full GM set of musical instruments to play MIDI and single sounds or effects. Support for reverberation and equaliser. No plugins, no Flash. Pure HTML5 implementation compatible with desktop an…

💡 A list of knowledge repositories

C in four functions

A CSS template focused on readability

Rename a buffer within Vim and on disk.

presentations for busy messy hackers

Deploy static websites in seconds - with HTTPS, a global CDN, and custom domains.

Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

A truly monstrous async web chat using no JS whatsoever on the frontend

Make your diffs human readable for improved code quality and faster defect detection. 🎉

Intuitive find & replace CLI (sed alternative)

Simple SQL-like syntax on top of Perl text processing.

📝 Terminal-based crossword puzzle solving interface

A font family with a great monospaced variant for programmers.