mgile/cryptol
Cryptol: The Language of Cryptography
Public GitHub Catalog
Discovered Sep 30, 2026
mgile / cas
Jasig CAS - Single Sign On for the Web
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#18816445GitHub System ID
mgileOrganization / User
PublicVisibility
ActiveCatalog Status
More from mgile
mgile/jOOQ-s-Java-8-Goodies
At Data Geekery, we love Java and we're excited about all the goodies that Java 8 will bring to our ecosystem. We've blogged about Java 8 extensively, and with this project, we'd like to share a couple of awesome examples with you, the Java community. For more goodies, visit our blog: http://blog.jooq.org/tag/java-8/
mgile/onepasswordpy
Python implementation of 1Password keychains
mgile/hs-tls
TLS/SSL implementation in haskell