mk12

Software Engineer at Google / Waterloo SE 2019

@GoogleSan Francisco

Pinned Repositories

analysis-i
Formalization of proofs from Analysis I in the Coq and Lean.
Language:Lean7 3 00
blog
Markdown renderer and other site generator tools.
Language:Zig11 2 00
eva
The preferred Scheme interpreter of Eva Lu Ator.
Language:C1 2 00
lindenmayer
Web app that renders fractal curves.
Language:JavaScript4 2 00
luminosity
A simple and elegant ray tracer.
Language:Haskell12 2 01
morse
Command-line tool for morse code translation.
Language:C9 2 01
mycraft
Just another Minecraft clone.
Language:Java17 2 18
sicp
Study of the Wizard Book.
Language:Scheme36 3 14
table-extract
Rust library for extracting data from HTML tables.
Language:Rust10 2 29
vim-lean
Lean Theorem Prover plugin for Vim.
Language:Vim script14 3 04

mk12's Repositories

mk12/sicp
Study of the Wizard Book.
Language:Scheme36 3 14
mk12/luminosity
A simple and elegant ray tracer.
Language:Haskell12 2 01
mk12/blog
Markdown renderer and other site generator tools.
Language:Zig11 2 00
mk12/table-extract
Rust library for extracting data from HTML tables.
Language:Rust10 2 29
mk12/morse
Command-line tool for morse code translation.
Language:C9 2 01
mk12/vscode-better-git-line-blame
VS Code extension that decorates lines with git blame information.
Language:TypeScript7 2 32
mk12/fish-fzf
Yet another fzf plugin for Fish.
Language:Shell4 2 01
mk12/lindenmayer
Web app that renders fractal curves.
Language:JavaScript4 2 00
mk12/aoc
Solutions to Advent of Code problems.
Language:J3 3 0
mk12/mira
A fun and simple communication app.
Language:Vue2 2 0
mk12/notes4u
High school notes for Chemistry, Physics, and Calculus & Vectors.
Language:Lua2 2 0
mk12/base16-kitty
Base16 color scheme template for kitty.
Language:Shell1 3 0
mk12/iosevka-mk
My custom version of the Iosevka font.
Language:Shell1 3 0
mk12/scripts
An assorted collection of scripts.
Language:C++1 2 0
mk12/BQN
An APL-like programming language. Self-hosted!
Language:KakouneScript1 0
mk12/bqn-vscode
BQN vscode plugin(input, syntax highlighting)
Language:TypeScript1 0
mk12/buildroot
Build environment for the Flutter engine
Language:Python1 0
mk12/bun-reverse-proxy
Bun reverse proxy
mk12/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript1 0
mk12/dotfiles
My personal dotfiles.
Language:Vim Script3 01
mk12/engine
The Flutter engine
Language:C++2 0
mk12/fish-vscode
A Fish plugin that augments the VS Code CLI.
Language:Shell2 0
mk12/furious-fowls
Clone of Angry Birds in p5.js with a level editor.
Language:HTML2 0
mk12/loopy
Knitting pattern visualizer.
Language:CSS2 0
mk12/obsidian-mk
My personal Obsidian plugin.
Language:TypeScript2 0
mk12/uiua
A stack-based array programming language
Language:Rust1 0
mk12/vim-fish
Vim support for editing fish scripts
Language:Vim Script1 0
mk12/vim-meta
Vim mappings taken from readline, Emacs, and VS Code.
Language:Vim Script3 0
mk12/vscode-fuchsia-code-search
VS Code extension that opens files in Fuchsia Code Search.
Language:TypeScript
mk12/vscode-narrow-search
VS Code extension that narrow searches.
Language:TypeScript2 0