Pinned Repositories
chatsignal
Backend for a web chat application using WebSockets and WAI in Haskell
codeword
A very WIP codeword puzzle solver
experiment
hanabi
gofai hanabi bot
hlisp
a lisp interpreter in haskell
hlispgen
A parser testing experiment
logics
logic experiments
nix-packages
An attempt to package some things for nixos
sudoku-sat
A sudoku solver, using SAT
static-clouds's Repositories
static-clouds/hlisp
a lisp interpreter in haskell
static-clouds/sudoku-sat
A sudoku solver, using SAT
static-clouds/chatsignal
Backend for a web chat application using WebSockets and WAI in Haskell
static-clouds/codeword
A very WIP codeword puzzle solver
static-clouds/experiment
static-clouds/hanabi
gofai hanabi bot
static-clouds/hlispgen
A parser testing experiment
static-clouds/logics
logic experiments
static-clouds/nix-packages
An attempt to package some things for nixos
static-clouds/thoughts
place to put some thoughts
static-clouds/proposals
a repository to hold proposals for an unnamed imaginary project
static-clouds/twitter-newsfeed-getter
An extension to allow you to keep your timeline data when browsing Twitter