Pinned Loading

1. explncc explncc Public

   Explain Compilers

   Python 3

2. mithila-content mithila-content Public

   Open-source content archive preserving Mithila folk art through AI and culture.

   2

3. pqc-assay pqc-assay Public

   Reproducible refinement proof for unmodified PQClean ML-DSA reference C (reduce.c + forward NTT): fixed-width C -> Cryptol -> Isabelle -> FIPS 204, via a SAW + Cryptol + Isabelle pipeline.

   Isabelle 2

4. cs-seminars cs-seminars Public

   Modern graduate seminars on the classic papers of computer science, reconstructed for the systems we build today.

   Python 1

5. quantum-commit-authorization quantum-commit-authorization Public

   Post-quantum transaction authorization for EVM accounts via hash-based commit-reveal, no per-transaction signatures

   Solidity