static-clouds

static-clouds's repositories

a lisp interpreter in haskell

Language:Haskell4 10

A sudoku solver, using SAT

Language:HaskellBSD-3-Clause2 10

Backend for a web chat application using WebSockets and WAI in Haskell

Language:HaskellBSD-3-Clause000

A very WIP codeword puzzle solver

Language:HaskellBSD-3-Clause010

000

gofai hanabi bot

Language:Python010

A parser testing experiment

Language:Haskell010

logic experiments

Language:HaskellBSD-3-Clause010

An attempt to package some things for nixos

Language:Nix010

place to put some thoughts

010

a repository to hold proposals for an unnamed imaginary project

000

An extension to allow you to keep your timeline data when browsing Twitter

Language:JavaScript000