Pinned Loading

1. cipherjob cipherjob Public

   Python

2. researchGPT researchGPT Public

   Verification-first autonomous research orchestrator with Lean-checked proofs, resumable human handoffs, and evidence provenance.

   Python

3. SDCTF25-SDES2 SDCTF25-SDES2 Public

   Integer-linear-algebra cryptanalysis of SDCTF 2025 SDES2 using extended-GCD row reduction and modular reconstruction.

   Python

4. consistent_sampler consistent_sampler Public

   A port to Julia of the original Python code by Ron Rivest (https://github.com/ron-rivest/consistent_sampler)

   Julia 1

5. Speed_Motor_Control Speed_Motor_Control Public

   HTML 1