🏆 A ranked list of the best resources in the Nix community. Updated weekly.

Configure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]

Musig2JC is a Java Card applet implementing BIP-327 compliant MuSig2 multi-signature scheme.

Implementation of the Cryptoki library defined by the PKCS#11 standard that utilizes Meesign for asymmetric cryptography.

JCardEngine - Java Card Runtime Simulator 🩺

Automated testing tool for algorithms from JavaCard API supported by particular smart card. Performance testing of almost all available methods. The results for more than 100+ cards.

A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, as well as software tokens such as NSS, softoken and kryoptic.

PRESSTO - Automated analysis platform for devices requiring physical interaction

Differential Fuzzing of Bitcoin protocol implementations and libraries

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…

Lecture notes for a course on cryptography

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.

age-encrypted secrets for NixOS and Home manager

Python Elliptic Curve Side-Channel Analysis toolkit.

Community Cryptography Specification Project

A simple, secure and modern file encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

Generate x86 Assembly with Go

Personal Nix/NixOS configuration files

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'

ROCA: Infineon RSA key vulnerability

Haptic input knob with software-defined endstops and virtual detents

IS notebooks now in Python