vibecoded-region-queens-sat
Vibecoded continuation of the blog post "Solving LinkedIn Queens with SMT"
PythonUpdated 6/13/2025
koka-slides
Talk about Leijen's "Type Directed Compilation of Row-Typed Algebraic Effects"
TypeScriptUpdated 5/26/2025
kakoune-easymotion
kakoune plugin for navigating like the easymotion vim mode
Updated 4/15/2025
neptyne
editor-agnostic jupyter kernel communication (+ kakoune integration)
PythonUpdated 2/10/2025
hipspec
A hip inductive theorem prover!
HaskellUpdated 1/13/2025