Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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/cryptol-craftcodelab
Mastering the Art of Cryptol Programming
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/coq-craftcodelab
Mastering the Art of Coq Programming
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/rust-craftcodelab
Mastering the Art of Rust Programming
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/haskell-craftcodelab
Mastering the Art of Haskell Programming
Last synced: 12 Nov 2024
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: 12 Nov 2024
https://github.com/hacker-code-j/cas
Linear Cryptanalysis
cryptanalysis linear-analysis sbox
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/lea
Lightweight Encryption Algorithm
blockcipher c lea lightweight symmetric-key-cryptography
Last synced: 12 Nov 2024
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: 12 Nov 2024
https://github.com/hacker-code-j/hight
HIGh security and light weigHT
blockcipher c hight lightweight-cryptography symmetric-key-cryptography
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/c-craftcodelab
Mastering the Art of C Programming
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/dlp_calculator
2023-2 Advanced Application Programming
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/software-verification
first-order-logic ocaml propositional-logic software-verification
Last synced: 12 Oct 2024
https://github.com/hacker-code-j/garbage-collector
garbage-collector with C
Last synced: 12 Nov 2024
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: 12 Nov 2024
https://github.com/hacker-code-j/cryptanalysis-lecture
2024-Spring "Introduction to Cryptanalysis"
caesar-cipher cryptanalysis rust vigenere-cipher
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/deep_learning
2023-2 Advanced Application Mathematics
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/the_joy_of_cryptography
2023-2 UROP, Proof of Security
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/c-sha
Implementing Secure Hash Algorithm in C
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/secure-network-programming
2024-2 Secure Network Programming
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/armv8-cortex-a72
ARM64 Architecture and Programming for Raspberry Pi 4B
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/c-secureaes
High-Performance AES Encryption in C
aes blockcipher c symmetric-key-cryptography
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/mgfn
The Modified GFN Lightweight Block Cipher
block-cipher feistel-cipher lightweight-cryptography
Last synced: 12 Nov 2024
https://github.com/hacker-code-j/easycrypt-craftcodelab
Mastering the Art of EasyCrypt Programming
Last synced: 12 Nov 2024
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: 12 Nov 2024