mk12/spa mk12/spa

  • Stars
    star
    2
  • Language
    C++
  • License
    MIT License
  • Created almost 10 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mk12/spa
github

mk12

Reviews

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

Repository Details

Simple Proof Assistant: helps you prove theorems.

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

linecraft

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

mira

A fun and simple communication app.
Vue
2
star
17

web-math-demo

A web app that compares MathJax, KaTeX, and MathML rendering from AsciiMath and TeX.
JavaScript
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

algorithms

Implementations of algorithms discussed on my blog.
Racket
1
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