Stars
Render and embed graphs by writing them in dot notation. Renders to PGF/TikZ
Convert graphs generated by Graphviz to LaTeX friendly formats
Learn the Zig programming language by fixing tiny broken programs.
Learn PureScript with this "clone and play" repository
A UI library based on the incremental lambda calculus
A command-line tool to select default applications for document types and URL schemes on Mac OS X
TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)
A software attempt to address the "double key press" issue on Apple's butterfly keyboard [not actively maintained]
AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
Demonstration project for getting using gleam inside a mix/elixir project
🚀 A super fast and extremely minimal shell prompt.
Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
Deezer source separation library including pretrained models.
Latex is great when available. Sometimes it's not. For these cases I made this collection of snippets to allow crude equations to be easily typed in unicode.
Miscellaneous articles. The readme is the table of contents.
JSON decoding/encoding/manipulation library.
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Elixir SortedSet backed by a Rust-based NIF
Webpack plugin and CLI utility that represents bundle content as convenient interactive zoomable treemap
Specification for interoperability of common algebraic structures in JavaScript
⭐️ Companies that don't have a broken hiring process
Automagically synchronize subtitles with video.
web app for generating funny portmanteaus and rhymes
Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these s…