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.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.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