stepchowfun
Entrepreneur/engineer with a broad range of interests in computer science and software, especially type theory and distributed systems.
Notion Labs, Inc.San Francisco, CA
stepchowfun's Stars
coq/platform
Multi platform setup for Coq, Coq libraries and tools
stepchowfun/toast
Containerize your development and continuous integration environments. 🥂
hyperfiddle/electric
a reactive Clojure dialect for web development that uses a compiler to manage the frontend/backend boundary
coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
juliahw/juliahw.github.io
lynaghk/tidy-codebase-starter-kit
lexi-lambda/eff
🚧 a work in progress effect system for Haskell 🚧
stepchowfun/gigamesh
A home for all your notes.
stepchowfun/paxos
An implementation of single-decree Paxos.
stepchowfun/stem-cell
A simple project to demonstrate the cross-platform release management process I use for my open source work.
stepchowfun/base16-circus-scheme
A theme for the Base16 color system.
stepchowfun/dotfiles
My configuration files.
stepchowfun/typical
Data interchange with algebraic data types.
prathyvsh/category-theory-resources
Resources for learning Category Theory for an enthusiast
stepchowfun/hashpass
A simple password manager with a twist.
stepchowfun/proofs
My personal repository of formally verified mathematics.
stepchowfun/docuum
Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
stepchowfun/tagref
Tagref helps you manage cross-references in your code.
goretkin/FixArgs.jl
fused-effects/fused-effects
A fast, flexible, fused effect system for Haskell
hablapps/DontFearTheProfunctorOptics
Don't Fear the Profunctor Optics!
minimaxir/big-list-of-naughty-strings
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
alacritty/alacritty
A cross-platform, OpenGL terminal emulator.
ollef/sixten
Functional programming with fewer indirections
HoTT/Coq-HoTT
A Coq library for Homotopy Type Theory
sweirich/pi-forall
A demo implementation of a simple dependently-typed language
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
bysse/hashpass-android
Hash pass implementation for Android
puffnfresh/roy
Small functional language that compiles to JavaScript.