• Stars
    star
    1
  • Language
  • Created over 4 years ago
  • Updated about 3 years ago

Reviews

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

Repository Details

A more accurate Solarized scheme for Base16.

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

web-math-demo

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

chaos

Chaos theory visualization tool.
C
2
star
20

euler

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

algorithms

Implementations of algorithms discussed on my blog.
Racket
1
star
22

vsepr

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

notes4u

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

parse

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

eva

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

scripts

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

rainbowterm

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

blog

My personal blog.
TypeScript
1
star
29

mini-pinions

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

iosevka-mk

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

llvm-life

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