Pinned Repositories
algorand-merkle
base16-builder
Fork of base16-builder
big-brother
Completely automated timetracker
dotfiles
dotfiles
merkex
Merkle hash tree implementation in Elixir.
miph
Проект в летний математический лагерь МИФ 2013
rodeo
Fork of Saloon — Cowboy/Mustache web framework that uses Erlydtl.
saloon
Cowboy/mustache powered web framework
tar-spoon
Activity logger to recover stolen or lost laptop.
manpages's Repositories
manpages/algorand-merkle
manpages/dotfiles
dotfiles
manpages/draft
m:tg draft simulator
manpages/haskonf
A library to configure Haskell applications with Haskell. Think XMonad and Hakyll.
manpages/nixos-constructor
Construct NixOS expressions for wide variety of computers.
manpages/666
manpages/algorand-blocktrees
manpages/an-introduction-to-mathematical-cryptography
Working through “An Introduction to Mathematical Cryptography” excercises.
manpages/cardano-docs
manpages/docker-mtgo
Docker image with ready-to-play MTGO for Linux and macOS
manpages/evil-org-mode
Supplemental evil-mode keybindings to emacs org-mode
manpages/foundry
Morte IDE
manpages/hindsight
New installment of Jonn's blog
manpages/le-map-picker
bla
manpages/lue
Life, Universe and Everything
manpages/Made-in-Latvia
🇱🇻 A list of awesome projects Made in Latvia
manpages/manpages.github.com
GitHub mirror of JM's blog.
manpages/map-picker
manpages/miph-the-game
Проект в Летний Математический Лагерь МИФ 2016
manpages/network-transport-bug
Reproducing network-transport-tcp bug
manpages/nixpkgs
Nix Packages collection
manpages/orgstat
Statistics visualizer for org-mode
manpages/pos-haskell-prototype
pos cryptocurrency prototype
manpages/purescript-bridge
Create PureScript datatypes from Haskell datatypes
manpages/r-r-accelerated
Role&Roll Accelerated Overlay
manpages/synchs
Turtle rsync wrapper, configurable in Haskell
manpages/tbd-tournament-runner
Nothing to see, move along.
manpages/usr-local-bin
/usr/local/bin
manpages/worg
Worg: organization library built from first principles
manpages/xmonad-config
My xmonad and xmobar configuration, plus necessary scripts to make things more usable.