Sean Wentzel's repositories
icpc-notebook
A whole lot of code for potential inclusion in the UCT 2014 ICPC Team notebook.
Language:TeXMIT000
datadog-agent
Datadog Agent
Language:GoNOASSERTION000
Language:Python000
dcj-tools
Tools for competing in Google Distributed Code Jam
Language:C++000
Language:Jupyter NotebookMIT000
Language:TeXMIT000
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)
Language:CNOASSERTION000
symplexity
A bot for executing trading strategies on Manifold Markets.
mathlib4
The math library of Lean 4
Apache-2.0000
000
node
Node.js JavaScript runtime ✨🐢🚀✨
NOASSERTION000
node-fibers
Fiber/coroutine support for v8 and node.
MIT000
scala-dist
Additional code relevant to creating a scala distribution.
Language:TeX000
Language:TypeScriptMIT000