Skip to content
View mizlan's full-sized avatar
♠️
♠️
  • Jane Street

Highlights

  • Pro

Organizations

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

Block or report mizlan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
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

    Vim Script 42 13

  3. dots-nightly dots-nightly Public

    see mizlan/dotfiles

    Lua 40 6

  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