Pinned Loading

1. prosperity4-algo-trading prosperity4-algo-trading Public

   Solo - Global Top 0.58%: IMC Prosperity 4 trading strategies, analysis, backtests, and submissions (public version)

   Python 3

2. neural-network-compilation-optimization-summary neural-network-compilation-optimization-summary Public

   1-Week Mini Project that failed - Visual overview of a proof-aware compiler that transforms 400 reasoning tasks into compact static ONNX programs

   Jupyter Notebook 2

3. physics-aware-wellbore-geology-public physics-aware-wellbore-geology-public Public

   ROGII : Physics-aware machine learning for TVT prediction in the ROGII Wellbore Geology Prediction competition - currently in the Silver Medal Zone

4. rocq rocq Public

   Forked from rocq-prover/rocq

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml 1

5. mujoco mujoco Public

   Forked from google-deepmind/mujoco

   Multi-Joint dynamics with Contact. A general purpose physics simulator. - google deepmind

   C++

6. qiskit-serverless qiskit-serverless Public

   Forked from Qiskit/qiskit-serverless

   A programming model for leveraging quantum and classical resources

   Python