Taneb Nathan van Doorn
github.com/Taneb · 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 |
|---|---|---|---|---|---|---|---|---|
Interpreter for the metamath proof language |
0.198 → 0.199 |
1 | 3 | 0 | 0 | single outdated | ||
Run SQL directly on CSV or TSV files |
2.0.19 → 3.1.7 |
1 | 16 | 0 | 0 | single outdated |