Name: Stephan Boyer
Type: User
Company: Notion Labs, Inc.
Bio: Entrepreneur/engineer with a broad range of interests in computer science and software, especially type theory and distributed systems.
Twitter: stepchowfun
Location: San Francisco, CA
Stephan Boyer's Projects
A theme for the Base16 color system.
Search for ambiguities in context-free grammars.
An introduction to proving theorems and certifying programs with Coq.
A web-based pedagogical tool for exploring data structures.
Docuum performs least recently used (LRU) eviction of Docker images. 🗑️
Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.
My configuration files.
My personal blog.
A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
A fast and minimalist template engine for Node.
A home for all your notes.
Small projects that don't deserve their own repository.
A simple password manager with a twist.
An injective function from strings to natural language phrases.
A simple program demonstrating how to build and statically link ICU.
An implementation of single-decree Paxos.
My personal repository of formally verified mathematics.
A browser-based real-time raytracer written in CoffeeScript.
A realtime communication framework for Node.js.
A simple project to demonstrate the cross-platform release management process I use for my open source work.
A website for sharing secrets.
Tagref helps you manage cross-references in your code.
An automated theorem prover for first-order logic.
Containerize your development and continuous integration environments. 🥂
Data interchange with algebraic data types.
Portable ASCII and Unicode string manipulation functions for C++.