Pinned Repositories
acl2
ACL2 System and Books as Maintained by the Community
aptitude
clone of Debian's aptitude tool at git://anonscm.debian.org/aptitude/aptitude.git
casr-demo
demo of LFSRs and CASRs
cs429-lab1
Lab 1 materials for CS 429, Fall 2015
gptfdisk
gptfdisk copy
important-script-reader
patch-converter
A script to convert the output of git patches to Hg format. I didn't write this.
nixpkgs
Nix Packages collection & NixOS
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
kini's Repositories
kini/15-puzzle
A project for Tim Sheard's CS557 class at Portland State University that went "over budget" so to speak.
kini/alex
A lexical analyser generator for Haskell
kini/blaze-builder
Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.
kini/cabal
Official upstream development repository for Cabal and cabal-install
kini/cover-art-bot
kini/el-get
Manage the external elisp bits and pieces upon which you depend!
kini/gentoo-haskell
official gentoo haskell overlay
kini/gentoo-science
Gentoo Science Overlay
kini/gentwoo
Socilal Compiling site GenTwoo
kini/ghc-server
A server interface to GHC.
kini/git
My fork of git. Nothing to see here.
kini/hackport
A command line tool to generate Gentoo ebuilds from Hackage packages.
kini/happy
The Happy parser generator for Haskell
kini/hashtables
Mutable hash tables for Haskell, in the ST monad
kini/imcs
kini/ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
kini/kittybutton
a bookmarklet for when you need there to be kitty
kini/linux
Linux kernel source tree
kini/merging-example
Just an example repository to show how github's network view distinguishes between first and second parents.
kini/MGS2014-dtp
being the lecture code and exercises for Dependently Typed Programming at Midlands Graduate School 2014, in Nottingham
kini/minlibc
kini/musicbrainz-server
The official musicbrainz-server codebase
kini/ParseHelp.hs
A friendlier interface to the CmdArgs haskell library
kini/primitive
This package provides various primitive memory-related operations.
kini/sage
kini/sage-workflow
This has moved to http://github.com/sagemath/sage-workflow
kini/sagenb
Sage Notebook (flask)
kini/scotty
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
kini/STABIL
Some old C code for cellular refinement of graphs, based on http://arxiv.org/abs/1002.1921
kini/twitter-conduit
Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.