atondwal Goto Github PK

02-boa

Starter code for 02-boa assignment

2150-rust

aenea-grammar-main

aenea-grammar-simple

Simple voice recognition grammar for coding on Linux.

argosweather

Weather script for Argos GNOME Shell extension, that works on DarkSky API.

aria2

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, BitTorrent and Metalink.

asciinema-player

Web player for terminal session recordings ⏩

ath10k-firmware

comparch-proposal

config

conky

config and some scripts for conky use

cool_reference

An attempt to convert The Cool Reference Manual, Edited by Wes Weimer, back into TeX

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

core

Core library used by Gource and Logstalgia

cuntubuntu

Ubuntu running on Android, without rooting your phone

dormancy

Firefox add-on that frees inactive tabs from memory, restoring their contents next time you access the tab.

dot-xmonad

dragonfly-grammars

My personal dragonfly grammars

ghc-android

Build scripts for building ghc cross compilers targeting Android

git-auto-vc

This script automatically commits changes to the working dir from tracked files

gource

software version control visualization

gwern.net

Website: writings on statistics, psychology, self-experiments, black-markets, philosophy, etc

hackduke

Hack Duke Project, with Lambda, Daffy, and Zeming. Some of the commit authours may be off.

hell

Haskell shell

iree

👻

jekyll

Jekyll is a blog-aware, static site generator in Ruby

jekyll-bootstrap

The quickest way to start and publish your Jekyll powered blog. 100% compatible with GitHub pages.

jekyll-bootstrap-twitter

This is the twitter theme for jekyll bootstrap

kernel_diff

Diff file that needs to be applied to a 2.6.37 Linux kernel.

lh-errors

LH files that give errors.