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
Cryptol-CraftCodeLab
Mastering the Art of Cryptol Programming
DLP_calculator
2023-2 Advanced Application 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/Coq-CraftCodeLab
Mastering the Art of Coq Programming
Hacker-Code-J/Cryptol-CraftCodeLab
Mastering the Art of Cryptol Programming
Hacker-Code-J/GIFT
Lightweight Block Cipher GIFT-64 and GIFT-128
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-CraftCodeLab
Mastering the Art of C Programming
Hacker-Code-J/C-SecureAES
High-Performance AES Encryption in C
Hacker-Code-J/CaS
Linear Cryptanalysis
Hacker-Code-J/Cryptographic-Mathematics
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/Haskell-CraftCodeLab
Mastering the Art of Haskell Programming
Hacker-Code-J/HIGHT
HIGh security and light weigHT
Hacker-Code-J/LEA
Lightweight Encryption Algorithm
Hacker-Code-J/Rust-CraftCodeLab
Mastering the Art of Rust Programming
Hacker-Code-J/Software-Verification
Hacker-Code-J/ARMv8-Cortex-A72
ARM64 Architecture and Programming for Raspberry Pi 4B
Hacker-Code-J/DES
Linear Analysis for DES
Hacker-Code-J/2023-spring
Hacker-Code-J/cryptanalysis-lecture
2024-Spring "Introduction to Cryptanalysis"
Hacker-Code-J/Hacker-Code-J
Who am I?
Hacker-Code-J/HASH_DRBG
2024-2 Theory of Random Number Generation
Hacker-Code-J/Math_Library
Basic Mathematical Library
Hacker-Code-J/MGFN
The Modified GFN Lightweight Block Cipher
Hacker-Code-J/nvim
Customize NeoVIM
Hacker-Code-J/Secure-Network-Programming
2024-2 Secure Network Programming