Research initiative to make TLS certificate validation usable.
☆23May 10, 2024Updated 2 years ago
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 2 years ago
- EduLint is a Python linter aimed at helping novice programmers improve their coding style.☆12Jan 24, 2026Updated 7 months ago
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆26Jun 6, 2024Updated 2 years ago
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆23Jul 22, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆25Aug 5, 2016Updated 10 years ago
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- Gemini File Server, short gmifs, is intended to be minimal and serve static files with auto index support through TLS via the gemini prot…☆16Jul 29, 2021Updated 5 years ago
- ☆16Jun 17, 2022Updated 4 years ago
- Contributions and Credits Policy☆15Aug 15, 2024Updated 2 years ago
- Easily serialize/deserialize Tokio streams using bincode format☆14Dec 12, 2019Updated 6 years ago
- UDP packet-forwarder for the ChirpStack Concentratord.☆16Aug 19, 2026Updated last month
- A pure Rust implementation of FIDO2/WebAuthn CTAP 2.0/2.1/2.2 protocol☆20Updated this week
- HDL tools layer for OpenEmbedded☆18Oct 20, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Like HyperLogLog, but slower 🛶☆10Feb 5, 2020Updated 6 years ago
- Interactsh deployment to AWS EC2 Instance with Terraform☆12Dec 29, 2021Updated 4 years ago
- splunk alert script to create resilient tickets☆10Jun 8, 2016Updated 10 years ago
- Low level Rust library for working with OCI (opencontainers) directories☆19Updated this week
- PDF/paper cheat sheet for pytest☆15Sep 9, 2026Updated last week
- An app that liberates your Google Pixel; bypass tethering restrictions, Wi-Fi calling activation checks, and force allow manual network s…☆17Aug 28, 2025Updated last year
- API for bulk_extractor version 1.3☆14Nov 6, 2025Updated 10 months ago
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago
- 🛠️ bitbake language server☆18Sep 14, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13May 27, 2024Updated 2 years ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- generic CMP [RFC 9810, RFC 9483] client library and CLI, based on OpenSSL☆15Updated this week
- Raven is a Web application penetration testing tool.☆18Jun 16, 2021Updated 5 years ago
- Linux USB ID Repository (master still in CVS at SourceForge.net)☆17Jun 26, 2026Updated 2 months ago
- Partial BPF/XDP implementation of experimental research prototype IEEE 802.1CB FRER for Linux☆19Aug 12, 2026Updated last month
- Drill down into your python logs using JSON logs stored in Splunk - supports sending over TCP or the Splunk HEC REST API handlers (using …☆13Oct 18, 2022Updated 3 years ago
- Tygs aims to be a pure async PythonWeb framework with included RPC, PUB/SUB and task queues☆17Dec 4, 2016Updated 9 years ago
- Minimal and hacky PDF lexer☆10Jun 17, 2015Updated 11 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.
- Quart-Trio is an extension for Quart to support the Trio event loop.☆24Sep 12, 2026Updated last week
- CLIP OS 4 Manifest☆21Jun 7, 2019Updated 7 years ago
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 5 years ago
- Surge/QX scripts☆12Oct 13, 2022Updated 3 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated last year
- ☆24Aug 6, 2026Updated last month
- scraps and bits and bobs☆14Jul 28, 2022Updated 4 years ago