This is your work, valued

Michael

Expert
@mizlan

Functional Programming, Verification, Text Editors

iswap.nvim. Interactively select and swap function arguments, list elements, and much more. Powered by tree-sitter.

527

vim-and-cp. Some helpful bits and pieces for your vimrc, oriented at competitive programmers

42

dots-nightly. see mizlan/dotfiles

39

delimited.nvim. A tidy, more informative goto_{next,prev} for Neovim

37

typst-resume-sans. ✨ Pretty resume template written in Typst

33

guitar-scale-chart. 🎸 Pretty guitar scales in your terminal

28

termbufm. Lightweight Terminal Buffer Manager for Neovim.

19

dotfiles. dotfiles on an m1 mac

18

longbow.nvim. 🏹 Aim with efficiency and precision—regardless the target.

12

significant-figures. Web frontend + API and Hackage-published library to evaluate complex expressions with significant figures.

9

vim-tierlist. Build clean and simple tierlists ergonomically in pure VimScript

7

AutofillDuo. Skip the headache of Duo authentication

6

mizlan.github.io. CSS

5

mzchael.com. MDX

4

ocaml_gram. Manipulate a small simple subset of the OCaml grammar, for educational use

4

colortiles. a familiar game, reimplemented in a friendlier package :)

3

.emacs.d. Emacs Lisp

3

pokerbank. bank/ledger application for home poker games, supporting re-buys, partial cash-outs (i.e., ratholing), and transfer of the bank player mid-session

3

decrypto-knowledgebase.

3

usub. Python

3

grid. Graph and visualize shapes on a coordinate plane.

3

jukebox. Shell

3

featherweight. A lightweight music manager.

2

vis-config. Lua

2

vim-lterm. A Neovim plugin targeted at competitive programmers to more easily compile and run code.

2

mizlan.

2

transient. transient for neovim (MVP but neogit exists)

2

brutus. Compare multiple solutions to algorithmic problems with on-demand generated input.

1

aoc2022. Haskell

1

.doom.d. Emacs Lisp

1

geolocation-test. https://mizlan.github.io/geolocation-test

1

vim-solaire. Like emacs-solaire-mode but for Vim and Neovim

1

TeachLAFrontend. 🌱the frontend for Teach LA's online IDE, designed to teach kids how to code!

1

appel. working through appel's modern compiler implementation in ml, in haskell

1

vendetta. WIP: an alternative frontend for the TeachLA Editor written in TypeScript with Mantine UI

1

pagan. Compile and execute a file based on a given set of rules for compilation and execution

1

noir. Visualize CodinGame runthroughs (with a bit of effort)

1

indexedmap. Purely-functional order-statistic trees

1

microscope.nvim. Small Telescope-esque picker thing

1

qmk_firmware. Open-source keyboard firmware for Atmel AVR and Arm USB families

1

error-help. Clojure

1

matrix-commander. simple but convenient CLI-based Matrix client app for sending and receiving

1

towerfmt. CLI and webserver for automatic translation of Simon Tatham's Towers encoding to Prolog terms.

1

recenttrack. 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