- spectral-mining 5 Applications of spectral graph theory to ML / RL.
- scikit-learn 3 scikit-learn main repo
- borg-explorer 2 Interactive web-based visualization of solver performance data.
- qy 1 Python DSL for emitting LLVM routines over NumPy arrays. Abandoned experiment. Don't use.
- minisat 1 A minimalistic and high-performance SAT solver
811 contributions in the last year
- 19 contributions in private repositories Aug 17 – Aug 24