Skip to content
View mizlan's full-sized avatar
113 followers · 18 following

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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 research surrounding formal verification, functional programming, compilers, programming language theory, concurrent programming, and distributed systems. I have multiple years of experience writing OCaml, Haskell, C++, Coq, and Lean. Please reach out!

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

Pinned Loading

  1. iswap.nvim iswap.nvim Public

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

    Lua 509 22

  2. delimited.nvim delimited.nvim Public

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

    Lua 37 1

  3. typst-resume-sans typst-resume-sans Public

    ✨ Pretty resume template written in Typst

    Typst 28 1

  4. guitar-scale-chart guitar-scale-chart Public

    🎸 Pretty guitar scales in your terminal

    Perl 25 1

  5. significant-figures significant-figures Public

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

    Haskell 9

  6. AutofillDuo AutofillDuo Public

    Skip the headache of Duo authentication

    JavaScript 6