taktoa Remy Goldschmidt
github.com/taktoa · maintains 2 packages (2 directly), sole maintainer of 2, member of 0 teams
2 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Intermediate verification language |
3.5.7 → 3.5.8 |
1 | 23 | 0 | 0 | single outdated | ||
Quadratic programming solver using operator splitting |
1.0.0 |
1 | 4 | 4 | 36 | single |