koraa
https://twitter.com/dakoraa
Rosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-cryptoEuropa, Saturn System, The Universe
Pinned Repositories
ferrum
Features from the rust language in javascript: Provides Traits/Type classes & a hashing infrastructure and an advanced library for working with sequences/iterators in js
decryption-despite-errors
Achieving security against fuzzing and improving bandwidth efficiency by combining FEC and symmetric encryption.
heapfree
Linked lists & event based programming in modern C++ for embedded environments in which the heap should not be used:
huniq
Filter out duplicates on the command line. Replacement for `sort | uniq` optimized for speed (10x faster) when sorting is not needed.
iacr-events-scraper
Scrape https://iacr.org/events/ and export an ICS file for your calendar
pipe_exec
Execute binaries from pipes, stdin and ttys
sndlink
Realtime audio streaming
with_drop
with_drop: Nostd wrapper for using a closure as a custom drop function
xxhrs
Safe XXHash and XXH3 bindings for rust.
rosenpass
Rosenpass is a post-quantum-secure VPN that uses WireGuard to transport the actual data.
koraa's Repositories
koraa/huniq
Filter out duplicates on the command line. Replacement for `sort | uniq` optimized for speed (10x faster) when sorting is not needed.
koraa/pipe_exec
Execute binaries from pipes, stdin and ttys
koraa/with_drop
with_drop: Nostd wrapper for using a closure as a custom drop function
koraa/xxhrs
Safe XXHash and XXH3 bindings for rust.
koraa/iacr-events-scraper
Scrape https://iacr.org/events/ and export an ICS file for your calendar
koraa/cupdev.net
This is the repository for my website on cupdev.net
koraa/decryption-despite-errors
Achieving security against fuzzing and improving bandwidth efficiency by combining FEC and symmetric encryption.
koraa/gema
Import of the general purpose macro processor CVS repo
koraa/proverif.vim
Basic proverif support for VIM files.
koraa/sheetmusic
Collection of sheet music I created
koraa/app.diagrams.net_test
koraa/argyle-kyber
Fork of pqc_kyber with some safety fixes
koraa/assembly
koraa/CardsAgainstCryptography
koraa/chatGPTBox
Integrating ChatGPT into your browser deeply, everything you need is here
koraa/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
koraa/docdash
:zap: Lodash inspired JSDoc 3 template/theme
koraa/events_haecksen
koraa/GlobalProtect-openconnect
A GlobalProtect VPN client (GUI) for Linux, based on OpenConnect and built with Qt5, supports SAML auth mode.
koraa/hashes
Collection of cryptographic hash functions written in pure Rust
koraa/helix-cli
Command-line tools for developing with helix
koraa/jittr
A binary heap based jitter buffer implementation for zero latency udp/rtp streams
koraa/liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
koraa/liboqs-rust
Rust bindings for liboqs
koraa/lighthouse
Automated auditing, performance metrics, and best practices for the web.
koraa/material.nvim
:trident: Material colorscheme for NeoVim written in Lua with built-in support for native LSP, TreeSitter and many more plugins
koraa/pages
koraa/patricia-gallardo.github.io
koraa/smtfmt
An SMT-LIB formatter.
koraa/splitfile