etawang

Pinned Repositories

AndrewPrintr
Language:Java00
BabyWikiRace
How to wiki race without friends
Language:Python00
brew
🍺 The missing package manager for macOS
Language:Ruby00
calvol-volunteer-profiles
Language:PHP00
ClubFest
Language:Python0 4 00
coq-practice
Practice and experimentation with the Coq proof assistant
Language:Coq00
Cupcake
Language:JavaScript10
dotfiles
Configuration files for tmux, nvim, and bash
Language:Vim script10
etawang.com
Personal website
Language:HTML00
sage
A minimal static site generator.
Language:Python3 2 00

etawang's Repositories

etawang/sage
A minimal static site generator.
Language:Python3 2 00
etawang/Cupcake
Language:JavaScript10
etawang/dotfiles
Configuration files for tmux, nvim, and bash
Language:Vim script10
etawang/AndrewPrintr
Language:Java00
etawang/BabyWikiRace
How to wiki race without friends
Language:Python00
etawang/brew
🍺 The missing package manager for macOS
Language:Ruby00
etawang/calvol-volunteer-profiles
Language:PHP00
etawang/ClubFest
Language:Python0 4 00
etawang/coq-practice
Practice and experimentation with the Coq proof assistant
Language:Coq00
etawang/etawang.com
Personal website
Language:HTML00
etawang/Melisma
Language:ActionScript00
etawang/ewang12-site-hg
Language:CSS
etawang/fiddling-with-key
Code and notes from fiddling with KeY with Rob Simmons.
etawang/LC_Crypto_Exercises
Language:Scala
etawang/Newsies
Automatic content-based news blog
Language:Python1
etawang/person-app
Language:Python1
etawang/proofs
A selection of formal developments in Coq.
Language:Coq
etawang/RealFriendsDatingSim
Language:HTML
etawang/recursive-types-talk
Presented at LambdaConf 2018
Language:TeX
etawang/remindme
A command line tool for managing reminders
Language:Rust
etawang/trebuchet
Trebuchet launches features at people
Language:Ruby
etawang/wyvern
The Wyvern programming language.
Language:Shell