Stanislas Polu

breach_core. A Browser written in JS. Free. Modular. Hackable.

warp. Secure and simple terminal sharing

dwm.vim. Tiled Window Management for Vim

repl. To JSON what Excel is to CSV

node-shell. Atom Shell bindings for nodeJS

settle. Decentralized trust graph for value exchange without a blockchain

dazzle. Dazzle: mobile web browser engineered from first-principle

gym_fuzz1ng. OpenAI Gym environment for binary fuzzing based on afl

envi. web-based keyboard-only distributed editor

exo_browser_save. The Scriptable Browser Platform

vt.js. A reusable VT Emulator written in NodeJS

stellar-ledger. Realtime view of the Stellar Ledger

cloudful. JavaScript

dump. Dart

phl0cks. SpaceWar! meets CoreWars

node. [DEPRECATED] ExoBrowser fork of Node.JS

fuzz1ng. Python

donkey. C#

waitfs. symlink wait/update service

pipes. A dead simple message queue for node.js

pfs. C

1-line. JavaScript

ur. universal repository

pipes-lib-www. Pipes WWW Lib

term. Cross-platform Modal Navigation Terminal Emulator

gg. Gmail Command-Line Client (written in Go)

pipes-cellar. Pipes Cellar Middleware

atr. Command line transcription

pipes-cohort. Pipes Cohort Metrics

twitbot. A very simple Twitter Bot

igjobs. JavaScript

journal. Projects, posts and notes

hol-light. The HOL Light theorem prover (moved from Google code)

lean. Lean Theorem Prover