- 🧙🏻♀️ I am doing my PhD in cryptography at METU.
- 🔮 Also, I am a BIND 9 Software Engineer at ISC!
GitHub is not my choice of forge for multiple reasons.
GitHub is not my choice of forge for multiple reasons.
Forked from open-quantum-safe/liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
C
Forked from desec-io/OQS-bind
PQC-enabled Bind9 using Open Quantum Safe's oqs-provider.
C
Forked from Julian/lean.nvim
Neovim support for the Lean theorem prover
Lua