Cryptographic Constructions in the Type Theory of Agda

Open development environments to preserve global energy supply and vital natural resources

Python cffi wrapper of the secp256k1-zkp fork for the GRIN's Mimblewimble protocol

OpenSCAD Parametric CAD Library (LGPL 2.1)

Common solutions and tools developed by Google Cloud's Professional Services team

Basic implementation of Blake2b in C as a base for Argon2 for Mozilla's Network Security Services.

AdNauseam: Fight back against advertising surveillance

Rust language bindings for Bitcoin secp256k1 library.

Mimblewimble applied in the base layer. Scarce, censorship resistant, durable, indestructible, salable, portable, fungible, private & divisible.‍ Good money.

Flash programming utility for Microchip PIC32 microcontrollers

🔒 Trezor Firmware Monorepo

Grin Requests for Comments

Bitcoin Core integration/staging tree

Agorakube is a Certified Kubernetes Distribution built on top of CNCF ecosystem that provides an enterprise grade solution following best practices to manage a conformant Kubernetes cluster for on-…

Protected Instant Verified Transactions - Core wallet.

CryptoNote protocol implementation. This is the reference repository for starting a new CryptoNote currency. See /src/cryptonote_config.h

Python-Based Bitcoin Software

A fork of Git containing Windows-specific patches.

Report about the crypto in Monero

WebAssembly backend for OCaml

A port of Eric Lippert's flathead Z-machine interpreter to MirageOS

🂺 A Multiplayer Poker App Crafted with Haskell and React

StyleGAN Encoder - converts real images to latent space

A growing, online "textbook" for music theory and aural skills

Psychophysics Toolbox Version 3 (PTB-3) is a free set of Matlab and GNU Octave functions for vision and neuroscience research.