Pinned Repositories
fitch
Interactive proof assistant for Fitch-style natural deduction
lilt
LILT: noun, A characteristic rising and falling of the voice when speaking; a pleasant gentle accent.
local-postgres
A tool for local and anonymous PostgreSQL instances
mathsproofbot
Writing proofs to Twitter since April 2020
mation
elm + purescript + simple components + flexible IO
nifty-launcher
yet another application launcher -- this time as a JS api!
nim-finals
Macro for transparently defining final fields
nim-sugerror
Templates for terse and composable error handling in Nim
ps-inline-asm
Inline JavaScript expressions in Purescript
Quelklef's Repositories
Quelklef/mathsproofbot
Writing proofs to Twitter since April 2020
Quelklef/fitch
Interactive proof assistant for Fitch-style natural deduction
Quelklef/purescript-postgres
PostgreSQL bindings for Purescript
Quelklef/y
Quelklef/js-true-clone
A deep cloning JS algorithm aware of prototypes, getters/setters, etc.
Quelklef/daygen
randomize your life!
Quelklef/habitat
System configuration
Quelklef/local-postgres
A tool for local and anonymous PostgreSQL instances
Quelklef/notula
A formula builder for Notion
Quelklef/prime-spirals
https://math.stackexchange.com/questions/2072308/help-with-a-prime-number-spiral-which-turns-90-degrees-at-each-prime/2076349#2076349
Quelklef/ps-inline-asm
Inline JavaScript expressions in Purescript
Quelklef/mation
elm + purescript + simple components + flexible IO
Quelklef/nifty-launcher
yet another application launcher -- this time as a JS api!
Quelklef/site
Personal website
Quelklef/cultural-collisions
Quelklef/g-word-bot
No saying the g-word
Quelklef/jasc
javascript reduced
Quelklef/JINEdb
For when Json Is Not Enough
Quelklef/js-true-equals
A deep equality algorithm aware of prototypes, getters/setters, etc.
Quelklef/kdfpass
Quelklef/latuc
latex to unicode
Quelklef/minesweeper
Keyboard-control minesweeper
Quelklef/nixos-bootable
Quelklef/playground
To play around with ideas
Quelklef/purs-nix
Manage your PureScript projects with Nix!
Quelklef/skim
Quelklef/twit
Scrapes Twitter data and correlates political opinions with phrases
Quelklef/wrongish
A naughty JS utility library
Quelklef/xmonad-contrib
Contributed modules for xmonad
Quelklef/z
ζ