Stars
The cuteness implementation of a dependently typed language.
KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)
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
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
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…
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
Good-lookin' diffs. Actually… nah… The best-lookin' diffs. 🎉
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.