• Stars
    star
    1
  • Language
    Racket
  • License
    MIT License
  • Created about 9 years ago
  • Updated over 2 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Implementations of algorithms discussed on my blog.

More Repositories

1

sicp

Study of the Wizard Book.
Scheme
18
star
2

mycraft

Just another Minecraft clone.
Java
17
star
3

vim-lean

Lean Theorem Prover plugin for Vim.
Vim Script
13
star
4

luminosity

A simple and elegant ray tracer.
Haskell
12
star
5

table-extract

Rust library for extracting data from HTML tables.
Rust
8
star
6

analysis-i

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

morse

Command-line tool for morse code translation.
C
5
star
8

lindenmayer

Web app that renders fractal curves.
Go
4
star
9

caesar

Cracks messages encrypted with the Caesar cipher using frequency analysis.
Go
4
star
10

fish-fzf

Yet another fzf plugin for Fish.
Shell
4
star
11

squash-reminder

Chrome extension that reminds you to squash your PRs.
JavaScript
3
star
12

aoc

Solutions to Advent of Code problems.
J
3
star
13

aes

A simple online AES decryption tool.
CSS
3
star
14

minster

Westminster chimes for your computer.
Shell
2
star
15

spa

Simple Proof Assistant: helps you prove theorems.
C++
2
star
16

linecraft

A simulation inspired by Flatland: A Romance of Many Dimensions.
JavaScript
2
star
17

mira

A fun and simple communication app.
Vue
2
star
18

chaos

Chaos theory visualization tool.
C
2
star
19

euler

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

web-math-demo

A web app that compares MathJax, KaTeX, and MathML rendering from AsciiMath and TeX.
JavaScript
2
star
21

vsepr

Visualizes molecular shape by simulating electron pairs in 3D.
Processing
1
star
22

notes4u

High school notes for Chemistry, Physics, and Calculus & Vectors.
Lua
1
star
23

parse

A simple, flexible tool for I/O and parsing in small Go (or C) programs.
C
1
star
24

eva

The preferred Scheme interpreter of Eva Lu Ator.
C
1
star
25

scripts

An assorted collection of scripts.
C++
1
star
26

rainbowterm

A tool for managing iTerm2 color schemes.
Python
1
star
27

blog

My personal blog.
TypeScript
1
star
28

mini-pinions

pinion: (literary) a bird's wing as used in flight.
Clojure
1
star
29

iosevka-mk

My custom version of the Iosevka font.
Shell
1
star
30

base16-solarized-scheme

A more accurate Solarized scheme for Base16.
1
star
31

llvm-life

Conway's Game of Life implemented in LLVM assembly.
LLVM
1
star