Pinned Repositories
crypto-hons
datadog-agent
Datadog Agent
dbproj
dcj-tools
Tools for competing in Google Distributed Code Jam
Easy-Transformer
gt-hons
haproxy
haproxy with embedded sFlow monitoring support - cloned from http://master.formilux.org/git/people/willy/haproxy.git/ (because cloning directly from http://git.1wt.eu/git/haproxy.git/ failed repeatedly)
icpc-notebook
A whole lot of code for potential inclusion in the UCT 2014 ICPC Team notebook.
symplexity
A bot for executing trading strategies on Manifold Markets.
seanwentzel's Repositories
seanwentzel/icpc-notebook
A whole lot of code for potential inclusion in the UCT 2014 ICPC Team notebook.
seanwentzel/crypto-hons
seanwentzel/datadog-agent
Datadog Agent
seanwentzel/dbproj
seanwentzel/dcj-tools
Tools for competing in Google Distributed Code Jam
seanwentzel/Easy-Transformer
seanwentzel/gt-hons
seanwentzel/haproxy
haproxy with embedded sFlow monitoring support - cloned from http://master.formilux.org/git/people/willy/haproxy.git/ (because cloning directly from http://git.1wt.eu/git/haproxy.git/ failed repeatedly)
seanwentzel/symplexity
A bot for executing trading strategies on Manifold Markets.
seanwentzel/mathlib4
The math library of Lean 4
seanwentzel/minitorch.github.io
Docs
seanwentzel/node
Node.js JavaScript runtime ✨🐢🚀✨
seanwentzel/node-fibers
Fiber/coroutine support for v8 and node.
seanwentzel/scala-dist
Additional code relevant to creating a scala distribution.
seanwentzel/srs-explorer