Written by humans. WTX is a collection of different transport implementations and related tools focused primarily on web technologies.
Repository Index
47,133 repositories indexed
73–96 of 125 · Most stars
HIBA is a system built on top of regular OpenSSH certificate-based authentication that allows to manage flexible authorization of principals on pools of target hosts without the need to push customized authorized_users files periodically.
Cilium Certified Associate Certification Study Guide
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
- bioinformatics
- exact-optimization
- metabolomics
- paired-data
The Volatility Collaborative GUI
- volatility-gui
- volatility-framework
- volatility
- memory-dump
Aggregates security advisories from 10 international CERTs daily and provides an AI skill that cross-references alerts against your project's tech stack.
- cve
- security
- security-alerts
- vulnerability
Source code of the Theoretical Physics Reference online book
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
A Verified Compiler for Gallina, Written in Gallina
Utility that exposes the expiry of TLS certificates as Prometheus metrics
PHPCheckstyle is an open-source tool that helps PHP programmers adhere to certain coding conventions.
- php
- coding-conventions
- phpcheckstyle
- checkstyle
Collections of links based on the topics included in the Symfony 3.0 certification exam
- php
- certification
- symfony3
- symfony
A framework for smart contract verification in Coq
- blockchain
- coq
- smart-contracts
- verification
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor plugins.
Resources for the Magento 2 Certified Professional Front End Developer exam
Collection of ssl verification functions for Erlang
Reverse proxy with automatically obtains TLS certificates from Let's Encrypt
PDF extraction that audits its own output — and certifies any other extractor's, catching pages they silently dropped. Verify signed manifests offline: free, MIT, no account. 0.903 on opendataloader-bench, #2 of 8 engines. 7-tool MCP server.
Dynamically generate self-signed certificates and certificate authorities for Go tests
- golang
- certificate-generation
- go
- testing
Preparation notes for Magento 2 Certified Professional Cloud Developer exam
- magento2
- magento-certified-cloud-developer
- magento-certified-developer
- exam
Automates certain common tasks that you do during programming competitions
- programming-competitions
- codeforces
- codechef
- command-line-tool
Simplified CA and device cert manager for strongSwan VPN
📚Magento 2 Certified Professional Developer Plus Exam
- magento2
- magento2-module
- exam
- magento2-certification