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
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 last month
- A stack of activities to teach advanced computer science (developed by the Teaching Lab community at the Faculty of Informatics, Masaryk …☆26Jun 6, 2024Updated last year
- Webstránka veřejných infografik o změně klimatu světa☆36Updated this week
- Distinguisher of Standard & Simulated Elliptic Curves via Traits.☆18Jun 20, 2024Updated last year
- VSCode config file for C development and debugging in WSL / Linux, created for PB161 (and PB071)☆11Sep 25, 2019Updated 6 years ago
- A simple Twitter favorites archiver☆19Jun 15, 2017Updated 8 years ago
- JavaCard project template for building CAP and running JCardSim with gradle + coverage☆19Mar 24, 2024Updated last year
- Interactsh deployment to AWS EC2 Instance with Terraform☆11Dec 29, 2021Updated 4 years ago
- splunk alert script to create resilient tickets☆10Jun 8, 2016Updated 9 years ago
- API for bulk_extractor version 1.3☆14Nov 6, 2025Updated 4 months ago
- The Process Intelligence Tool for Linux☆33Mar 10, 2026Updated last week
- Generic Health Checking Framework for systemd☆136Feb 10, 2026Updated last month
- Raven is a Web application penetration testing tool.☆17Jun 16, 2021Updated 4 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Random Code Store☆17Mar 27, 2023Updated 2 years ago
- Minimal and hacky PDF lexer☆10Jun 17, 2015Updated 10 years ago
- Home Assistant custom component for PID (Prague) public transit departure boards API.☆42Aug 9, 2025Updated 7 months ago
- Surge/QX scripts☆12Oct 13, 2022Updated 3 years ago
- ☆16May 3, 2014Updated 11 years ago
- Visualize existence of EOL at EOF ⏎☆10Mar 14, 2021Updated 5 years ago
- ProgramCMS is a complete, trustworthy CMS & easy to use PHP Framework to build and deploy All kind of Web Sites. Please note that Program…☆18Apr 30, 2025Updated 10 months ago
- 長野高専の3J「アルゴリズムとデータ構造」後期の多倍長演算プログラム☆21Mar 1, 2018Updated 8 years ago
- Diskmag engine Deus ex Machina (DOS, Windows, smooth scrolling from CGA to SVGA)☆13Nov 11, 2015Updated 10 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago
- 📖 Denops documentation☆11Aug 24, 2025Updated 6 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
- ☆12Sep 22, 2020Updated 5 years ago
- Enable Claude Code to call Codex (GPT-5) asynchronously, filtering out thinking processes to save 95% context tokens.☆42Nov 14, 2025Updated 4 months ago
- Download latest wind data for the Earth global map.☆10Jan 18, 2022Updated 4 years ago
- Lua bindings for Deno.☆14Jun 12, 2022Updated 3 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 8 years ago
- 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☆16Aug 19, 2024Updated last year
- 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
- Domain theory and denotational semantics in Coq☆10Dec 13, 2014Updated 11 years ago
- A software package for computation of sheaf cohomologies for line bundles on toric varieties.☆10Sep 26, 2025Updated 5 months ago