Pinned Repositories
Abstract-Algebra
Automated-Reasoning
A central hub for sharing and exploring seminar materials, resources, and innovations in the field of Automated Reasoning.
C-CraftCodeLab
Mastering the Art of C Programming
Category-Theory
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
Coq-CraftCodeLab
Mastering the Art of Coq Programming
CryptoModule
A modular cryptography library providing block ciphers, modes of operation, RNG, hashing, MAC, KDF, key exchange, and signature functionality.
EasyCrypt-CraftCodeLab
Mastering the Art of EasyCrypt Programming
GIFT
Lightweight Block Cipher GIFT-64 and GIFT-128
Modern-Mathematics
My lecture notes for moderen mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra, complex analysis etc.
MyObsidianNote
The Second Brain
Hacker-Code-J's Repositories
Hacker-Code-J/Modern-Mathematics
My lecture notes for moderen mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra, complex analysis etc.
Hacker-Code-J/MyObsidianNote
The Second Brain
Hacker-Code-J/Category-Theory
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
Hacker-Code-J/Abstract-Algebra
Hacker-Code-J/Automated-Reasoning
A central hub for sharing and exploring seminar materials, resources, and innovations in the field of Automated Reasoning.
Hacker-Code-J/C-SecureAES
High-Performance AES Encryption in C
Hacker-Code-J/Cryptographic-Mathematics
Hacker-Code-J/Cryptol-CraftCodeLab
Mastering the Art of Cryptol Programming
Hacker-Code-J/Dragon-Chord-CANVAS
Hacker-Code-J/EasyCrypt-CraftCodeLab
Mastering the Art of EasyCrypt Programming
Hacker-Code-J/Elliptic_Curve_Crypto
High-Performance Implementation for ECC
Hacker-Code-J/Rust-CraftCodeLab
Mastering the Art of Rust Programming
Hacker-Code-J/Software-Verification
Hacker-Code-J/CryptoModule
A modular cryptography library providing block ciphers, modes of operation, RNG, hashing, MAC, KDF, key exchange, and signature functionality.
Hacker-Code-J/DES
Linear Analysis for DES
Hacker-Code-J/aria-jasmin
Jasmin Implementation of the ARIA Block Cipher
Hacker-Code-J/ARMv8-A
Aarch64 Architecture and Programming for Raspberry Pi
Hacker-Code-J/code-based-masking
Lecture notes for Code-based Masking
Hacker-Code-J/cryptanalysis-lecture
2024-Spring "Introduction to Cryptanalysis"
Hacker-Code-J/CryptoModule-APP
2025 Spring Cryptographic Algorithm
Hacker-Code-J/crystal-kyber-poly-ntt-jasmin
Hacker-Code-J/Hacker-Code-J
Who am I?
Hacker-Code-J/hacker-code-j.github.io
Hacker-Code-J/HASH_DRBG
2024-2 Theory of Random Number Generation
Hacker-Code-J/Jasmin-assembly-benchmark
Benchmark suite for assessing the performance and correctness of assembly code produced by the jasmin-lang compiler.
Hacker-Code-J/mathematics-manim
Hacker-Code-J/MGFN
The Modified GFN Lightweight Block Cipher
Hacker-Code-J/Quantum-Computing
Lecture Notes in Quantum Computing by Ji, Yong-hyeon
Hacker-Code-J/Secure-Network-Programming
2024-2 Secure Network Programming
Hacker-Code-J/sha3-keccak-jasmin