Research initiative to make TLS certificate validation usable.
☆22May 10, 2024Updated last year
Alternatives and similar repositories for usable-cert-validation
Users that are interested in usable-cert-validation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Teacher's Reflective Diary (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk University)☆29Jun 6, 2024Updated last year
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated 2 months ago
- Webstránka veřejných infografik o změně klimatu světa☆36Mar 18, 2026Updated 3 weeks ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆86Apr 1, 2026Updated last week
- An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level framework…☆16Feb 12, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- ☆16Jun 17, 2022Updated 3 years ago
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 8 years ago
- Auxiliary macros and functions for the C standard library☆15Jun 17, 2025Updated 9 months ago
- Easily serialize/deserialize Tokio streams using bincode format☆14Dec 12, 2019Updated 6 years ago
- Interactsh deployment to AWS EC2 Instance with Terraform☆12Dec 29, 2021Updated 4 years ago
- ☆12Apr 21, 2021Updated 4 years ago
- Artifacts for the "Minerva: The curse of ECDSA nonces" paper at CHES 2020☆33Jun 6, 2022Updated 3 years ago
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Converts provided SVG to bitmap and slices it into tiles for use e.g. in Leaflet. Supports UTFGrid.☆23Apr 15, 2016Updated 9 years ago
- splunk alert script to create resilient tickets☆10Jun 8, 2016Updated 9 years ago
- The Process Intelligence Tool for Linux☆34Mar 10, 2026Updated last month
- Open Source Development Course☆25Apr 23, 2022Updated 3 years ago
- ☆35Oct 12, 2025Updated 6 months ago
- ☆13May 27, 2024Updated last year
- Javacard implementation of Curve25519 (prototype, work-in-progress)☆31Mar 8, 2021Updated 5 years ago
- Linux USB ID Repository (master still in CVS at SourceForge.net)☆16Dec 13, 2025Updated 3 months ago
- Random Code Store☆17Mar 27, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Jul 20, 2016Updated 9 years ago
- Home Assistant custom component for PID (Prague) public transit departure boards API.☆42Aug 9, 2025Updated 8 months ago
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 5 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated 7 months ago
- lite-net as a web app with authentication and privacy; simplest-possible note taking app for network and non-linear thinking.☆13Apr 15, 2020Updated 5 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- Download latest wind data for the Earth global map.☆10Jan 18, 2022Updated 4 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆17Aug 19, 2024Updated last year
- Ghost in the shell php file security scanner☆12Jan 31, 2022Updated 4 years ago
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- A collection of awesome resources built for and around the Splunk Phantom platform.☆13Jul 7, 2020Updated 5 years ago