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.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.Love Open Source and this site? Check out how you can help us