Stephan Boyer (@stepchowfun)
github

stepchowfun

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

toast

Containerize your development and continuous integration environments. ๐Ÿฅ‚
Rust
1,499
star
2

docuum

Docuum performs least recently used (LRU) eviction of Docker images. ๐Ÿ—‘๏ธ
Rust
489
star
3

proofs

My personal repository of formally verified mathematics.
Coq
259
star
4

theorem-prover

An automated theorem prover for first-order logic.
Python
225
star
5

tagref

Tagref helps you maintain cross-references in your code.
Rust
148
star
6

socket.js

A realtime communication framework for Node.js.
JavaScript
143
star
7

hashpass

A simple password manager with a twist.
TypeScript
113
star
8

effects

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
Haskell
100
star
9

typical

Data interchange with algebraic data types.
Rust
81
star
10

raytracer

A browser-based real-time raytracer written in CoffeeScript.
CSS
53
star
11

data-structure-explorer

A web-based pedagogical tool for exploring data structures.
JavaScript
48
star
12

cfg-checker

Search for ambiguities in context-free grammars.
C++
38
star
13

unicode

Portable ASCII and Unicode string manipulation functions for C++.
C++
21
star
14

doesgoogleexecutejavascript

Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.
JavaScript
15
star
15

dotfiles

My configuration files.
Shell
13
star
16

paxos

An implementation of single-decree Paxos.
Rust
10
star
17

dubstepn

My personal blog.
Ruby
9
star
18

base16-circus-scheme

A theme for the Base16 color system.
6
star
19

gigamesh

A home for all your notes.
TypeScript
6
star
20

coq-intro

An introduction to proving theorems and certifying programs with Coq.
Coq
5
star
21

gigamesh-schema

The Typical schema for the Gigamesh data model.
Perl
3
star
22

stem-cell

A simple project to demonstrate the cross-platform release management process I use for my open source work.
Shell
3
star
23

subjunct

A website for sharing secrets.
Ruby
3
star
24

garnet

A fast and minimalist template engine for Node.
JavaScript
2
star
25

webpack-scaffolding

Scaffolding for building web applications.
JavaScript
2
star
26

gists

Small projects that don't deserve their own repository.
Python
1
star