Parrot7483
github.com/Parrot7483 · 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 |
|---|---|---|---|---|---|---|---|---|
Interactive editing mode VS Code extension for F* |
0.25.4 |
1 | 2 | 0 | 0 | single | ||
Informative, fancy bash prompt for Git users |
2.7.1-unstable-2025-04-23 |
1 | 3 | 0 | 0 | single |