Pinned Repositories
algebraic-coding-theory
A place where I collect the resources for the algebraic coding theory lecture
autocoder
bad_crypto
A bad crypto library
cryptobib-db
CryptoBib Database for Developers
depir
DerJesko
Config files for my GitHub profile.
DerJesko.github.io
expterminator
A tool for transforming ∀-Exp+Res proofs into QRAT proofs
frameworks
Sample code and build environments for MPC frameworks
regev_python
DerJesko's Repositories
DerJesko/regev_python
DerJesko/algebraic-coding-theory
A place where I collect the resources for the algebraic coding theory lecture
DerJesko/autocoder
DerJesko/bad_crypto
A bad crypto library
DerJesko/cryptobib-db
CryptoBib Database for Developers
DerJesko/depir
DerJesko/DerJesko
Config files for my GitHub profile.
DerJesko/DerJesko.github.io
DerJesko/expterminator
A tool for transforming ∀-Exp+Res proofs into QRAT proofs
DerJesko/frameworks
Sample code and build environments for MPC frameworks
DerJesko/homepage
DerJesko/Rusty_Satellite
DerJesko/jcoin
Here I explore ideas in the crypto currency space
DerJesko/mult_persistence
DerJesko/reversi
A over the top implementation of reversi in Rust
DerJesko/text-steganography
This project tries to use modern language models to do steganography over text.
DerJesko/workout-basic