kirelagin/book
A textbook on informal homotopy type theory
Developer Profile
kirelagin
Discovered public repositories for kirelagin in the GitHub catalog.
kirelagin/holliday
Gentoo overlay
kirelagin/prompt_kir
Prompt theme for ZSH similar to adam2
kirelagin/dotfiles.github.com
Your unofficial guide to doing dotfiles on GitHub.
kirelagin/quassel
Quassel IRC
kirelagin/prismasok
Public repository.
kirelagin/pynotifier
Public repository.
kirelagin/https-everywhere
The official Github mirror of the HTTPS Everywhere repository at https://gitweb.torproject.org/https-everywhere.git. You can send pull requests here.
kirelagin/kirelagin.github.io
Public repository.
kirelagin/sudo-gui.vim
sudo GUI for a GUI vim
kirelagin/xkcdpwgen
Generating XKCD-style passwords
kirelagin/nixpkgs
Nix Packages collection
kirelagin/ninja-thesis
Public repository.
kirelagin/wis-report
Public repository.
kirelagin/wis
Search the Wikipedia!
kirelagin/perfect-formatting-cpp
Formatting C++ code in Haskell with Happy
kirelagin/PrefixExpEval
Public repository.
kirelagin/MessageQueue
Public repository.
kirelagin/freezing-octo-ninja
Android in JavaScript
kirelagin/pysystemd-daemon
sd_notify for Python
kirelagin/nyatris
Няшный тетрис
kirelagin/bus-factor
Public repository.
kirelagin/skey-notify
This script will remind you to reinitialise your S/KEY one-time passwords
kirelagin/django-headcrumbs
Smart and easy-to-use breadcrumbs for Django
kirelagin/django-orderedmodel
Orderable models for Django