XBagon
github.com/XBagon · maintains 15 packages (15 directly), sole maintainer of 3, member of 0 teams
3 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Fixpoint reasoning system that unifies Datalog and equality saturation |
0.4.0 |
1 | 5 | 0 | 0 | single | ||
Files and folders initializer / generator based on templates |
2.13.12 |
1 | 9 | 0 | 0 | single | ||
High-Performance, Low-Memory, Lightweight, Extensible Minecraft Reverse Proxy |
0.65.0 |
1 | 3 | 0 | 0 | single |