This is your work, valued
Functional Programming, Verification, Text Editors
iswap.nvim. Interactively select and swap function arguments, list elements, and much more. Powered by tree-sitter.
527vim-and-cp. Some helpful bits and pieces for your vimrc, oriented at competitive programmers
42dots-nightly. see mizlan/dotfiles
39delimited.nvim. A tidy, more informative goto_{next,prev} for Neovim
37typst-resume-sans. ✨ Pretty resume template written in Typst
33guitar-scale-chart. 🎸 Pretty guitar scales in your terminal
28termbufm. Lightweight Terminal Buffer Manager for Neovim.
19dotfiles. dotfiles on an m1 mac
18longbow.nvim. 🏹 Aim with efficiency and precision—regardless the target.
12significant-figures. Web frontend + API and Hackage-published library to evaluate complex expressions with significant figures.
9vim-tierlist. Build clean and simple tierlists ergonomically in pure VimScript
7AutofillDuo. Skip the headache of Duo authentication
6mizlan.github.io. CSS
5mzchael.com. MDX
4ocaml_gram. Manipulate a small simple subset of the OCaml grammar, for educational use
4colortiles. a familiar game, reimplemented in a friendlier package :)
3.emacs.d. Emacs Lisp
3pokerbank. bank/ledger application for home poker games, supporting re-buys, partial cash-outs (i.e., ratholing), and transfer of the bank player mid-session
3decrypto-knowledgebase.
3usub. Python
3grid. Graph and visualize shapes on a coordinate plane.
3jukebox. Shell
3featherweight. A lightweight music manager.
2vis-config. Lua
2vim-lterm. A Neovim plugin targeted at competitive programmers to more easily compile and run code.
2mizlan.
2transient. transient for neovim (MVP but neogit exists)
2brutus. Compare multiple solutions to algorithmic problems with on-demand generated input.
1aoc2022. Haskell
1.doom.d. Emacs Lisp
1geolocation-test. https://mizlan.github.io/geolocation-test
1vim-solaire. Like emacs-solaire-mode but for Vim and Neovim
1TeachLAFrontend. 🌱the frontend for Teach LA's online IDE, designed to teach kids how to code!
1appel. working through appel's modern compiler implementation in ml, in haskell
1vendetta. WIP: an alternative frontend for the TeachLA Editor written in TypeScript with Mantine UI
1pagan. Compile and execute a file based on a given set of rules for compilation and execution
1noir. Visualize CodinGame runthroughs (with a bit of effort)
1indexedmap. Purely-functional order-statistic trees
1microscope.nvim. Small Telescope-esque picker thing
1qmk_firmware. Open-source keyboard firmware for Atmel AVR and Arm USB families
1error-help. Clojure
1matrix-commander. simple but convenient CLI-based Matrix client app for sending and receiving
1towerfmt. CLI and webserver for automatic translation of Simon Tatham's Towers encoding to Prolog terms.
1recenttrack. Vercel serverless API function for fetching most recent track played. Defaults to querying Spotify, but falls back to Last.fm when Spotify player is inactive
1