kini Goto Github PK

gentwoo

Socilal Compiling site GenTwoo

ghc-server

A server interface to GHC.

git

My fork of git. Nothing to see here.

git-notes

Notes made while learning git, cheatsheets, etc.; may be useful to others...

gptfdisk

gptfdisk copy

hackport

A command line tool to generate Gentoo ebuilds from Hackage packages.

happy

The Happy parser generator for Haskell

hashtables

Mutable hash tables for Haskell, in the ST monad

haskell-mode

Emacs mode for Haskell

hydra

Hydra, the Nix-based continuous build system

ihaskell

A Haskell kernel for IPython.

imcs

important-script-reader

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

jsfiddle-docs-alpha

End user documentation for jsFiddle

kittybutton

a bookmarklet for when you need there to be kitty

learnhaskell

Learn Haskell

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

linux

Linux kernel source tree

list-combinators

mostly nonrecursive Data.List replacement

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

magit

It's Magit! A Git Porcelain inside Emacs.

makeself

A self-extracting archiving tool for Unix systems, in 100% shell script.

markdown-mode

Emacs Markdown Mode

mcomix3

fork of mcomix, 3 is the 3 of python3

merging-example

Just an example repository to show how github's network view distinguishes between first and second parents.

mgs2014-dtp

being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham

minlibc

mpv

🎥 Command line video player

multibootusb

Create multiboot live Linux on a USB disk...