Hyperpolymath
4 projects
Showing 4 of 4 projects
boj-serverJavaScript
One MCP stdio endpoint for a whole toolchain — GitHub, GitLab, cloud, mail, browser and research tools — with capability-gated dispatch, a machine-checked ABI, and cartridges fetched on demand from boj-server-cartridges. Zero runtime dependencies.
#supply-chain-security#capability-security#idris2
Stars3
Forks0
Last commit
v-graphqlJust
V-lang GraphQL implementation and schema generation with Idris2 ABI proofs and Zig FFI
#palimpsest#hyperpolymath
Stars2
Forks0
Last commit3 months ago
v-grpcJust
V-lang gRPC and Protobuf framework with Idris2 ABI proofs and Zig FFI
#palimpsest#hyperpolymath
Stars1
Forks0
Last commit3 months ago
v-restJust
V-lang REST API framework — canonical template for V REST services with Idris2 ABI proofs and Zig FFI
#palimpsest#hyperpolymath
Stars1
Forks0
Last commit3 months ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.