Joshua Hayes's repositories
agda-stdlib
The Agda standard library
Language:AgdaNOASSERTION000
github-readme-stats
:zap: Dynamically generated stats for your github readmes
Language:JavaScriptMIT000
gs-quant
Python toolkit for quantitative finance
Language:Jupyter NotebookApache-2.0000
joshhayes.github.io
The repo for my personal website.
MultiFormatterVSCode
It's a Visual Studio Code that allows you to use multiple formatters in just one run
Language:TypeScriptGPL-3.0000
QuantLib
The QuantLib C++ library
Language:C++NOASSERTION000
RectangleBinPack
Tweaks on the dev branch !!! Source code for performing 2d rectangular bin packing.
Language:C++000
scipy
SciPy library main repository
Language:PythonBSD-3-Clause000