larsr Lars Rasmusson
github.com/larsr · maintains 3 packages (3 directly), sole maintainer of 3, member of 0 teams
3 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Library for Representing Recursive and Impure Programs in Coq |
5.2.1 |
1 | 6 | 2 | 2 | single | ||
Pure python Tor client |
1.1.6 |
1 | 19 | 0 | 0 | single | ||
Pure python Tor client |
1.1.6 |
1 | 19 | 0 | 0 | single |