There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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.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.Love Open Source and this site? Check out how you can help us