stepchowfun Follow

Stephan Boyer stepchowfun

Follow

Engineering @google, previously @airbnb, @dropbox, @mit. Going to great lengths to prevent bugs. Making computer science more accessible. (he/they)

358 followers · 8 following

Google
San Francisco, CA
https://www.stephanboyer.com
@stepchowfun

Sponsors

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report stepchowfun

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

toast Public

Containerize your development and continuous integration environments. 🥂

Rust 1.3k 34
typical Public

Data interchange with algebraic data types.

Rust 108 3
tagref Public

Tagref helps you maintain cross-references in your code.

Rust 92 2
docuum Public

Docuum performs least recently used (LRU) eviction of Docker images. 🗑️

Rust 376 18
proofs Public

My personal repository of formally verified mathematics.

Coq 190 8
hashpass Public

A simple password manager with a twist.

TypeScript 104 19

2,452 contributions in the last year

Learn how we count contributions

Less More

NEW! View your contributions in 3D, VR and IRL!

Contribution activity

July 2022

Created 76 commits in 8 repositories

Created 1 repository

stepchowfun/agda-mode-vscode ReScript Jul 6

Opened 39 pull requests in 9 repositories

stepchowfun/proofs 23 merged

Clarify that apply conj can be used to prove a conjunction Jul 14
Use intros instead of intro in the tutorial for pedagogical simplicity Jul 14
Use pose proof instead of fact Jul 8
Fix some typos in comments Jul 6
Do some wordsmithing on the tutorial Jul 6
Do some wordsmithing Jul 5
Clarify that assert had not yet been introduced at a particular point in the tutorial Jul 5
Replace gen with outro Jul 5
Add some exercises to the tutorial Jul 5
Tweak the proof techniques lesson of the tutorial Jul 5
Tweak the proof techniques lesson of the tutorial Jul 4
Add exercises for the last three lessons of the tutorial Jul 4
Update the README for the tutorial Jul 4
Demonstrate the Program command Jul 3
Tweak the extraction tutorial Jul 3
Update the extraction lesson in the tutorial Jul 3
Refactor the proof techniques lesson in the tutorial Jul 3
Add a section on automation to the tutorial Jul 3
Flesh out the section on induction in the tutorial Jul 3
Add a section on f_equal to the tutorial Jul 3
Add a note about large elimination Jul 3
Update the "proof techniques" lesson of the tutorial Jul 2
Rename one of the lessons in the tutorial Jul 1

stepchowfun/toast 4 merged

stepchowfun/typical 2 merged

Fix a typo in the README Jul 10
Upgrade to Rust 1.62.0 Jul 8

stepchowfun/tagref 2 merged

Fix the version calculation in the publish task Jul 8
Upgrade to Rust 1.62.0 Jul 8

stepchowfun/stem-cell 2 merged

Fix the version calculation in the publish task Jul 8
Upgrade to Rust 1.62.0 Jul 8

gramlang/gram 2 merged

Fix the version calculation in the publish task Jul 8
Upgrade to Rust 1.62.0 Jul 8

stepchowfun/docuum 2 merged

Fix the version calculation in the publish task Jul 8
Upgrade to Rust 1.62.0 Jul 8

stepchowfun/paxos 1 merged

Upgrade to Rust 1.62.0 Jul 8

banacorn/agda-mode-vscode 1 open

Fix the documentation for the case split keymap Jul 6