Pinned Repositories
abelian-sandpiles
agda-fonts
Fonts that work well with Agda.
agda-hott
complex-base-systems
mgrep
nixos-ksp
Nix expression for Kerbal Space Program.
php-erlang
pwdhash
Haskell implementation of pwdhash
redoak
Rapidly prototype out HTML.
subsequence
izuk's Repositories
izuk/pwdhash
Haskell implementation of pwdhash
izuk/nixos-ksp
Nix expression for Kerbal Space Program.
izuk/abelian-sandpiles
izuk/mgrep
izuk/php-erlang
izuk/redoak
Rapidly prototype out HTML.
izuk/subsequence
izuk/agda-fonts
Fonts that work well with Agda.
izuk/agda-hott
izuk/complex-base-systems
izuk/elephant-pig
izuk/exact_cover
Algorithm X
izuk/fhe
izuk/fishfood
ESP8266 control of a LEGO motor, to drive a fish feeder.
izuk/fit
FIT file decoder
izuk/hrepl
Interactive development for Bazel/Haskell rules
izuk/io-streams
Simple, composable, and easy-to-use stream I/O for Haskell
izuk/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
izuk/nixpkgs
Nix Packages collection
izuk/OpenLogic
An open-source, customizable intermediate logic textbook
izuk/proto-lens
API for protocol buffers using modern Haskell language and library patterns.
izuk/seqfreq
izuk/simple-cabal
See README for more info
izuk/tapl
izuk/tellme
Status bar for XMonad etc.
izuk/tensorflow
An Open Source Machine Learning Framework for Everyone