Pinned Repositories
Agdapaste
A toy web site allowing users to paste and compile Agda code
BinDivMod
Binary division and its properties in Agda
BoolSolver
Solver for boolean identities in Agda
Compiler
A rudimentary language x86 compiler
euler
Project Euler problem solutions
JewelBot
A bot for StarJewelled Starcraft 2 map
mtgox-trader
Mt.Gox trading bot
Primes
Prime number generator in Agda
Rotsor's Repositories
Rotsor/euler
Project Euler problem solutions
Rotsor/mtgox-trader
Mt.Gox trading bot
Rotsor/BinDivMod
Binary division and its properties in Agda
Rotsor/Primes
Prime number generator in Agda
Rotsor/hindley-milner
An exercise in Agda: formalize hindley-milner type system
Rotsor/nix-demo
demonstration of dynamic dependencies with nix
Rotsor/phd
Rotsor/alga-theory
The theory of algebraic graphs formalised in Agda
Rotsor/bbforce
Boolean Brute Force
Rotsor/brainfuck
verified brainfuck interpreter in brainfuck (not really)
Rotsor/brainwallet.github.io
Brainwallet site
Rotsor/btc-ocaml
A toy implementation of the bitcoin protocol in ocaml.
Rotsor/build
Build systems à la carte
Rotsor/chart-parsing
chart-parsing
Rotsor/church
Church booleans and natural numbers in Haskell
Rotsor/compote
A tool for composing structures and behaviours. Mostly theoretical musings at this point.
Rotsor/config
Configs for the software I use
Rotsor/cubical
Rotsor/cubicaltt
Rotsor/cubicaltt-nonsense
Rotsor/factorio-lp
factorio optimization: linear programming approach
Rotsor/factorio-module-selector
A program to help you select modules for your factorio factories.
Rotsor/FayJewels
Bejewelled-like game written in Fay, compiled to Javascript
Rotsor/FStar
An ML-like language with a type system for program verification
Rotsor/graph-algebra
A simple graph algebra
Rotsor/matrix
A Haskell native implementation of matrices and their operations.
Rotsor/nix
Nix, the purely functional package manager
Rotsor/nixos-in-place
Install NixOS on top of any existing Linux distribution without rebooting
Rotsor/nixpkgs
Nix Packages collection
Rotsor/smooth-scrolling
Emacs smooth scrolling package