Popular repositories Loading

1. TinyPKI TinyPKI Public

   TinyPKI is a lightweight C11/OpenSSL PKI core for constrained IoT and edge networks, combining ECQV implicit certificates, sparse Merkle revocation proofs, MMR issuance transparency, CA-signed chec…

   C 464 25

2. ArkTaint ArkTaint Public

   Static taint analysis for HarmonyOS/ArkTS with declarative assets, LLM-assisted API modeling, OCLFS, and evidence-driven postsolve.

   TypeScript 2

3. Scrutario Scrutario Public

   Local-first desktop OCR, proofreading and full-text search for classical Chinese documents

   TypeScript 2

4. kakahuote.github.io kakahuote.github.io Public

   HTML

5. dbs2json dbs2json Public

   Forked from BlackBird-BB/dbs2json

   A script to transfer dbs to a json file.

   Python

6. Termlet Termlet Public

   JavaScript