-
-
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
-
cryptoad Public
generates self-contained and self-decrypting files (as executables)
-
-
-
cycle-roll Public
algorithm for detecting cycles in data
-
-
monopaste Public
daemon that pushes and pulls clip-board/paste-board/copy-buffer/blahblah etc data everywhere all the time
Ruby UpdatedNov 28, 2015 -
-
learn-tt Public
Forked from jozefg/learn-ttA collection of resources for learning type theory.
UpdatedAug 15, 2015 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedJul 19, 2015 -
-
-
el-get Public
Forked from dimitri/el-getManage the external elisp bits and pieces upon which you depend!
-
st Public
fork of suckless terminal emulator http://st.suckless.org/
C MIT License UpdatedFeb 23, 2015 -
-
aug Public
screen layer on top of shell to augment terminal functionality
-
-
dwm Public
my fork of the suckless window manager (http://dwm.suckless.org/)
-
qemu-arm-rpi-kernel Public
make file for building the raspberry pi linux kernel for use with qemu
-
dmenu Public
mirror of suckless dmenu (http://tools.suckless.org/dmenu/)
-
-
-
-
ergodox-firmware Public
Forked from benblazak/ergodox-firmwarefirmware for the ergoDOX keyboard
-
go-xcompilers Public
a simple makefile for building go cross compilers from source
1 UpdatedSep 14, 2014 -
-
openwrt Public
Forked from openwrt-mirror/openwrtMirror of the OpenWRT repository
C GNU General Public License v2.0 UpdatedJul 13, 2014 -
requests Public
Forked from psf/requestsPython HTTP Requests for Humans™.
Python Other UpdatedJun 9, 2014