Pinned Loading
Repositories
- solid Public
An OIDC authorization server building blocks with security and privacy by design philosophy.
- verifpal-llm-kit Public
Agent skills for Verifpal — cryptographic protocol verification with LLM agents (adapted from quint-llm-kit)
-
- extproctor Public
ExtProctor is a test runner for Envoy External Processing (ExtProc) implementations. Define test cases using human-readable prototext manifests, validate expected behaviours across all processing phases (headers, body, trailers), and integrate seamlessly into CI/CD pipelines with JSON output and golden file support.
- go-cel2squirrel Public
Convert a CEL boolean expression to Squirrel SQL Builder for dynamic filtering capabilities.
- stronghold Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…