Skip to content
View mizlan's full-sized avatar
♠️
♠️
117 followers · 20 following
  • Jane Street

Highlights

  • Pro

Organizations

@uclaacm @nnn-devs @Irvington-CS @onlybruins

Block or report mizlan

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mizlan/README.md

Interested in functional programming, formal verification, compilers, and distributed systems. I write OCaml, Haskell, C++, and Python. I am also familiar with Coq and Lean.

10 Pranks That Went Way Too Far: Pancake on Rabbit Head

Popular repositories Loading

  1. iswap.nvim iswap.nvim Public

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

    Lua 524 22

  2. vim-and-cp vim-and-cp Public

    Some helpful bits and pieces for your vimrc, oriented at competitive programmers

    Vim Script 42 13

  3. dots-nightly dots-nightly Public

    see mizlan/dotfiles

    Lua 39 5

  4. delimited.nvim delimited.nvim Public

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

    Lua 38 1

  5. typst-resume-sans typst-resume-sans Public

    ✨ Pretty resume template written in Typst

    Typst 32 2

  6. guitar-scale-chart guitar-scale-chart Public

    🎸 Pretty guitar scales in your terminal

    Perl 28 1