Discover @mk12 Open Source projects

Mitchell Kember (@mk12)

mk12

Stars
131
Global Rank 167,121 (Top 6 %)
Followers 71
Following 23
Registered about 14 years ago
Most used languages

C
12.9 %

C++
9.7 %

Shell
9.7 %

JavaScript
9.7 %

Go
6.5 %

J 3.2 %

Vim Script
3.2 %

LLVM 3.2 %

Python
3.2 %

Scheme
3.2 %

CSS
3.2 %

Lua
3.2 %

Clojure
3.2 %

Rust
3.2 %

Vue 3.2 %

Processing 3.2 %

Racket
3.2 %

TypeScript
3.2 %

Haskell
3.2 %

Lean 3.2 %

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

J 2

Lean 4

LLVM 8

Scheme
13

Haskell
73

Racket
81

Vim Script
110

Processing 168

Clojure
227

Vue 431

Rust
557

Lua
776

Go
917

Java
957

C
1,114

Shell
1,169

CSS
1,182

C++
2,377

TypeScript
5,101

JavaScript
5,940

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.

chaos

Chaos theory visualization tool.

euler

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

web-math-demo

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

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.