GTK application to configure gaming devices

SIMD Vector Classes for C++

This is a Unofficial Control Center for Avell Laptops with Linux System

A keyboard-driven, vim-like browser based on Python and Qt.

Liquid Types For Haskell

VERified asSembler for cryptographic primitives

Cryptographic library for Haskell

Game Tree Search Algorithms - C++ library for AI bot programming

Yet another Yogurt - An AUR Helper written in Go

Angrave's Crowd-Sourced System Programming Book used at UIUC

A friendly IRC bot and apprentice coder, written in Haskell.

Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.

An arctic, north-bluish clean and elegant Emacs theme.

Awesome & interesting talks about programming

Heimdall is a cross-platform open-source tool suite used to flash firmware (aka ROMs) onto Samsung Galaxy devices.

A Parser Combinator library for C

htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.

🎨 Generate and change colorschemes on the fly. Deprecated, use pywal instead. -->

Flexible level editor

Haskell source code suggestions

Sublime-like terminal-based text editor

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

🌵 A responsive, clean and simple theme for Hexo.

A fast and easy-to-use status bar

🐚 Python-powered shell. Full-featured and cross-platform.

Linux kernel source tree

Protocol Buffers - Google's data interchange format

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Haskell to JavaScript compiler, based on GHC

Universal markup converter