frederik256/itpol
Useful IT policies
Public GitHub Catalog
Discovered Nov 1, 2026
frederik256 / mitls-fstar
TLS implemented in F*
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#46908951GitHub System ID
frederik256Organization / User
PublicVisibility
ActiveCatalog Status
More from frederik256
frederik256/RabbitMQTests
Exploration of RabbitMQ behaviour
frederik256/mab_bookmark_extension
Example code for my article on building a simple Google Chrome extension.
frederik256/winwebdis
a quicky hack webdis for windows for prototyping