Popular repositories Loading

1. seymour seymour Public

   This project is about formally verifying Seymour's decomposition theorem for regular matroids.

   Lean 44 14

2. qml-time-series qml-time-series Public

   Time series forecasting model combining classical machine learning and quantum circuits.

   Jupyter Notebook 2

3. lp_visualizer lp_visualizer Public

   Interactive web app for visualizing 2-variable linear programs in real time. Built with Python, Plotly, and Dash.

   TypeScript 1

4. slae_alg_comp slae_alg_comp Public

   C++

5. the-labyrinth the-labyrinth Public

   C++

6. stiff-odes stiff-odes Public

   C++