Rotsor/phd
Public repository.
Developer Profile
Rotsor
Discovered public repositories for Rotsor in the GitHub catalog.
Rotsor/bbforce
Boolean Brute Force
Rotsor/FayJewels
Bejewelled-like game written in Fay, compiled to Javascript
Rotsor/mtgox-trader
Mt.Gox trading bot
Rotsor/book
A textbook on informal homotopy type theory
Rotsor/Cats
My personal category theory library
Rotsor/config
Configs for the software I use
Rotsor/workcraft
Public repository.
Rotsor/compote
A tool for composing structures and behaviours. Mostly theoretical musings at this point.
Rotsor/nixpkgs
Nix Packages collection
Rotsor/chess
A primitive chess engine in Haskell
Rotsor/hackathon-2012-07
Public repository.
Rotsor/euler
Project Euler problem solutions
Rotsor/BoolSolver
Solver for boolean identities in Agda
Rotsor/Primes
Prime number generator in Agda
Rotsor/Compiler
A rudimentary language x86 compiler
Rotsor/scalaz
An extension to the core scala library.
Rotsor/wheeled-vehicle
A toy project to simulate the physics of the wheeled vehicles in 2D and possibly create a game
Rotsor/Agdapaste
A toy web site allowing users to paste and compile Agda code
Rotsor/BinDivMod
Binary division and its properties in Agda
Rotsor/JewelBot
A bot for StarJewelled Starcraft 2 map