Highlights
Lists (1)
Stars
Digitalizace Burzy Učebnic -- source code of digitalized school textbook market created as part of my SOČ publication
LaTeX package for typesetting pseudocode and cryptographic games
An automated toolkit to analyze and detect changes in secure hardware and cryptographic libraries. SCRUTINY provides high-level frameworks to build and later verify profiles against reference and p…
JavaCard implementation of Ed25519 signature algorithm for smartcards that do not support EdDSA algorithm introduced in JavaCard API version 3.1.
Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected software libraries.
Python Elliptic Curve Side-Channel Analysis toolkit.
A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
Oracle JavaCard Classic SDK-s for using as a Git submodule for ant-javacard projects
Sourcecode to the https://nixcloud.io/tour/ 'a tour of nix'
Haptic input knob with software-defined endstops and virtual detents
Project page for "The Fuzzing Book"
A Rust implementation of the Noise Protocol Framework
Blazing 💥 fast terminal-ui for git written in rust 🦀
Terminal image viewer with native support for iTerm and Kitty
🦀 Small exercises to get you used to reading and writing Rust code!
Materials from my Strange Loop 2014 workshop, Let's Build a Shell!
Gogh is a collection of color schemes for various terminal emulators, including Gnome Terminal, Pantheon Terminal, Tilix, and XFCE4 Terminal also compatible with iTerm on macOS.