mk12 - Giters

Mitchell Kember's repositories

mycraft

Just another Minecraft clone.

Language:JavaMIT17 2 1

vim-lean

Lean Theorem Prover plugin for Vim.

Language:Vim ScriptApache-2.014 30

luminosity

A simple and elegant ray tracer.

Language:HaskellMIT12 20

analysis-i

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

Language:LeanMIT7 30

web-math-demo

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

Language:JavaScriptMIT7 20

minster

Westminster chimes for your computer.

Language:ShellMIT3 20

squash-reminder

Chrome extension that reminds you to squash your PRs.

Language:JavaScriptMIT3 30

euler

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

Language:C++MIT2 20

spa

Simple Proof Assistant: helps you prove theorems.

Language:C++MIT2 2 2

llvm-life

Conway's Game of Life implemented in LLVM assembly.

Language:LLVMMIT1 20

mini-pinions

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

Language:ClojureMIT1 20

rainbowterm

A tool for managing iTerm2 color schemes.

Language:PythonMIT1 20

vsepr

Visualizes molecular shape by simulating electron pairs in 3D.

Language:ProcessingMIT1 30

wkrpt

LaTeX template for University of Waterloo work term reports

Language:TeX1 30

base13

Color theme management system based on a 13-color palette.

MIT020

base16-vim

Base16 for Vim

Language:Vim ScriptNOASSERTION020

fish-shell

The user-friendly command line shell.

Language:C++NOASSERTION010

hammerspoon

Staggeringly powerful macOS desktop automation with Lua

Language:Objective-CMIT010

hello-apple-silicon

"Hello World" in arm64 assembly for Apple M1 devices.

Language:AssemblyMIT020

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

Language:RubyBSD-2-Clause010

monkey-selection

A cumulative selection simulator, as described in The Blind Watchmaker by Richard Dawkins.

Language:RubyMIT020

rel2sql

Converts relational calculus into SQL.

Language:RustMIT020

rumi

A language for writing and generating crochet patterns.

Language:TypeScriptMIT020

schemer

Functions that I wrote/copied while reading the Schemer series.

Language:SchemeMIT020

semaphores

Exercises from The Little Book of Semaphores.

Language:CMIT020

twenty48

A clone of the 2048 game in Clojure.

Language:ClojureMIT030

wowcpe

Command-line tool for the classical radio station WCPE.

Language:RustMIT020

zeldalloy

Alloy solutions to Zelda puzzles.

Language:AlloyMIT030

zendown

A flexible documentation system for technical writers.

Language:PythonMIT020

zig-game

A work-in-progress game written in Zig.

Language:ZigMIT020