- Munich, Germany
Stars
Tool for analysis of security certificates and their security targets (Common Criteria, NIST FIPS140-2...).
HACL*, a formally verified cryptographic library written in F*
SLotH -- An SLH-DSA/SPHINCS+ Hash-Based Signature Accelerator
Implement minimal boilerplate CLIs derived from type hints and parse from command line, config files and environment variables
High-performance QEMU memory and instruction tracing
GitHub Actions configs: composite actions and shared workflow configuration
Pure Rust implementation of the Leighton Micali Signature scheme.
“Zero setup” cross compilation and “cross testing” of Rust crates
Second level bootloader for Microchip SoC (aka AT91)
A Coordination repo for all things Rust Cryptography oriented
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …
Automation/Testing tool for Embedded Linux Development
TomsFastMath is a fast public domain, open source, large integer arithmetic library written in portable ISO C.
LibTomMath is a free open source portable number theoretic multiple-precision integer library written entirely in C.
LibTomCrypt is a fairly comprehensive, modular and portable cryptographic toolkit that provides developers with a vast array of well known published block ciphers, one-way hash functions, chaining …
The rt-stepper software is used to drive the dongle over the USB bus. This software is open source similar to the EMC2 open source project at www.linuxcnc.org. Both projects are separate PC applica…
This is the fast avr programmer for AVR MCUs based on cheap stm32f103c8t6 board with usb-to-serial support.
Python library to control a Saleae Logic Analyzer
Embedded Rust device crates for STM32 microcontrollers