Projects in Awesome Lists by Hacker-Code-J
A curated list of projects in awesome lists by Hacker-Code-J .
https://github.com/hacker-code-j/modern-mathematics
Materials for graduate-level mathematics, including topics like set theory, real analysis, topology, linear algebra and abstract algebra.
advanced-calculus real-analysis set-theory topology
Last synced: 26 Oct 2025
https://github.com/hacker-code-j/category-theory
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
category category-theory currying functor natural-transformation
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/cryptol-craftcodelab
Mastering the Art of Cryptol Programming
Last synced: 26 Jan 2026
https://github.com/hacker-code-j/dlp_calculator
2023-2 Advanced Application Programming
Last synced: 14 Aug 2025
https://github.com/hacker-code-j/gift
Lightweight Block Cipher GIFT-64 and GIFT-128
blockcipher c gift lightweight-cryptography symmetric-key-cryptography
Last synced: 16 Jul 2025
https://github.com/hacker-code-j/coq-craftcodelab
Mastering the Art of Coq Programming
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/haskell-craftcodelab
Mastering the Art of Haskell Programming
Last synced: 10 Oct 2025
https://github.com/hacker-code-j/software-verification
first-order-logic ocaml propositional-logic software-verification
Last synced: 13 Oct 2025
https://github.com/hacker-code-j/automated-reasoning
A central hub for sharing and exploring seminar materials, resources, and innovations in the field of Automated Reasoning.
Last synced: 06 Feb 2026
https://github.com/hacker-code-j/rust-craftcodelab
Mastering the Art of Rust Programming
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/easycrypt-craftcodelab
Mastering the Art of EasyCrypt Programming
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/cas
Linear Cryptanalysis
cryptanalysis linear-analysis sbox
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/c-craftcodelab
Mastering the Art of C Programming
Last synced: 25 Nov 2025
https://github.com/hacker-code-j/elliptic_curve_crypto
High-Performance Implementation for ECC
c ecc elliptic-curve-cryptography p256 public-key-cryptography rust secp256r1
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/the_joy_of_cryptography
2023-2 UROP, Proof of Security
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/lea
Lightweight Encryption Algorithm
blockcipher c lea lightweight-cryptography symmetric-key-cryptography
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/cryptanalysis-lecture
2024-Spring "Introduction to Cryptanalysis"
caesar-cipher cryptanalysis rust vigenere-cipher
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/c-sha
Implementing Secure Hash Algorithm in C
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/hight
HIGh security and light weigHT
blockcipher c hight lightweight-cryptography symmetric-key-cryptography
Last synced: 28 Oct 2025
https://github.com/hacker-code-j/aria-jasmin
Jasmin Implementation of the ARIA Block Cipher
aria block-cipher jasmin-lang jasmin-language
Last synced: 05 May 2025
https://github.com/hacker-code-j/quantum-computing
Lecture Notes in Quantum Computing by Ji, Yong-hyeon
Last synced: 02 Feb 2026
https://github.com/hacker-code-j/cryptomodule
A modular cryptography library providing block ciphers, modes of operation, RNG, hashing, MAC, KDF, key exchange, and signature functionality.
aes aria blockcipher blockcipher-mode cbc ctr lea
Last synced: 05 May 2025
https://github.com/hacker-code-j/mgfn
The Modified GFN Lightweight Block Cipher
block-cipher feistel-cipher lightweight-cryptography
Last synced: 02 Aug 2025
https://github.com/hacker-code-j/c-secureaes
High-Performance AES Encryption in C
aes blockcipher c symmetric-key-cryptography
Last synced: 21 Aug 2025
https://github.com/hacker-code-j/garbage-collector
garbage-collector with C
Last synced: 02 Sep 2025
https://github.com/hacker-code-j/jasmin-assembly-benchmark
Benchmark suite for assessing the performance and correctness of assembly code produced by the jasmin-lang compiler.
jasmin-assembler jasmin-lang jasmin-language
Last synced: 11 Jun 2025
https://github.com/hacker-code-j/secure-network-programming
2024-2 Secure Network Programming
Last synced: 01 Mar 2025
https://github.com/hacker-code-j/armv8-cortex-a72
ARM64 Architecture and Programming for Raspberry Pi 4B
Last synced: 01 Mar 2025