mgrabmueller/security-model
Pragmatic authentication/authorization framework.
TLS extra definition and helpers.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Pragmatic authentication/authorization framework.
Tutorial on monad transformers
Example implementation of Algorithm W for Hindley-Milner type inference
Runtime code generation for x86 machine code