Discover @mk12 Open Source projects

Mitchell Kember (@mk12)

mk12

Stars
131
Global Rank 170,475 (Top 6 %)
Followers 71
Following 23
Registered over 14 years ago
Most used languages

C
12.9 %

JavaScript
9.7 %

Shell
9.7 %

C++
9.7 %

Go
6.5 %

Clojure
3.2 %

Haskell
3.2 %

Vue 3.2 %

J 3.2 %

TypeScript
3.2 %

LLVM 3.2 %

Vim Script
3.2 %

CSS
3.2 %

Java
3.2 %

Python
3.2 %

Lean 3.2 %

Lua
3.2 %

Racket
3.2 %

Processing 3.2 %

Scheme
3.2 %

Rust
3.2 %
Location 🇨🇦 Canada
Country Total Rank 4,601
Country Ranking

J 2

Lean 4

LLVM 11

Scheme
13

Racket
68

Haskell
74

Vim Script
111

Processing 144

Clojure
250

Vue 449

Rust
572

Lua
792

Go
888

Java
980

C
1,117

Shell
1,204

CSS
1,448

C++
2,263

TypeScript
4,174

JavaScript
5,696

sicp

Study of the Wizard Book.

mycraft

Just another Minecraft clone.

vim-lean

Lean Theorem Prover plugin for Vim.

luminosity

A simple and elegant ray tracer.

table-extract

Rust library for extracting data from HTML tables.

analysis-i

Formalization of proofs from Analysis I in the Coq and Lean.

morse

Command-line tool for morse code translation.

lindenmayer

Web app that renders fractal curves.

caesar

Cracks messages encrypted with the Caesar cipher using frequency analysis.

fish-fzf

Yet another fzf plugin for Fish.

squash-reminder

Chrome extension that reminds you to squash your PRs.

aoc

Solutions to Advent of Code problems.

aes

A simple online AES decryption tool.

minster

Westminster chimes for your computer.

spa

Simple Proof Assistant: helps you prove theorems.

linecraft

A simulation inspired by Flatland: A Romance of Many Dimensions.

mira

A fun and simple communication app.

web-math-demo

A web app that compares MathJax, KaTeX, and MathML rendering from AsciiMath and TeX.

chaos

Chaos theory visualization tool.

euler

Solutions to Project Euler problems in C++, Haskell, Clojure, Julia, and Rust.

algorithms

Implementations of algorithms discussed on my blog.

vsepr

Visualizes molecular shape by simulating electron pairs in 3D.

notes4u

High school notes for Chemistry, Physics, and Calculus & Vectors.

parse

A simple, flexible tool for I/O and parsing in small Go (or C) programs.

eva

The preferred Scheme interpreter of Eva Lu Ator.

scripts

An assorted collection of scripts.

rainbowterm

A tool for managing iTerm2 color schemes.

blog

My personal blog.

mini-pinions

pinion: (literary) a bird's wing as used in flight.

iosevka-mk

My custom version of the Iosevka font.

base16-solarized-scheme

A more accurate Solarized scheme for Base16.

llvm-life

Conway's Game of Life implemented in LLVM assembly.