Code Monkey home page Code Monkey logo
Stephan Boyer photo

stepchowfun Goto Github PK

followers: 420.0 following: 5.0 repos: 26.0 gists: 11.0

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

coq-intro icon coq-intro

An introduction to proving theorems and certifying programs with Coq.

docuum icon docuum

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

doesgoogleexecutejavascript icon doesgoogleexecutejavascript

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

effects icon effects

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

garnet icon garnet

A fast and minimalist template engine for Node.

gists icon gists

Small projects that don't deserve their own repository.

hashpass icon hashpass

A simple password manager with a twist.

huffgram icon huffgram

An injective function from strings to natural language phrases.

icu-demo icon icu-demo

A simple program demonstrating how to build and statically link ICU.

paxos icon paxos

An implementation of single-decree Paxos.

proofs icon proofs

My personal repository of formally verified mathematics.

raytracer icon raytracer

A browser-based real-time raytracer written in CoffeeScript.

socket.js icon socket.js

A realtime communication framework for Node.js.

stem-cell icon stem-cell

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

tagref icon tagref

Tagref helps you manage cross-references in your code.

toast icon toast

Containerize your development and continuous integration environments. 🥂

typical icon typical

Data interchange with algebraic data types.

unicode icon unicode

Portable ASCII and Unicode string manipulation functions for C++.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.