Quelklef

mathsproofbot

Writing proofs to Twitter since April 2020

fitch

Interactive proof assistant for Fitch-style natural deduction

purescript-postgres

PostgreSQL bindings for Purescript

y

js-true-clone

A deep cloning JS algorithm aware of prototypes, getters/setters, etc.

daygen

randomize your life!

habitat

System configuration

local-postgres

A tool for local and anonymous PostgreSQL instances

prime-spirals

https://math.stackexchange.com/questions/2072308/help-with-a-prime-number-spiral-which-turns-90-degrees-at-each-prime/2076349#2076349

ps-inline-asm

Inline JavaScript expressions in Purescript

mation

elm + purescript + simple components + flexible IO

nifty-launcher

yet another application launcher -- this time as a JS api!

cultural-collisions

g-word-bot

No saying the g-word

jasc

javascript reduced

JINEdb

For when Json Is Not Enough

js-true-equals

A deep equality algorithm aware of prototypes, getters/setters, etc.

kdfpass

latuc

latex to unicode

minesweeper

Keyboard-control minesweeper

nixos-bootable

notula

A formula builder for Notion

playground

To play around with ideas

purs-nix

Manage your PureScript projects with Nix!

site

Personal website

skim

twit

Scrapes Twitter data and correlates political opinions with phrases

wrongish

A naughty JS utility library

xmonad-contrib

Contributed modules for xmonad

z

ζ