jonasnick's Stars
LAION-AI/Open-Assistant
OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
xonsh/xonsh
:shell: Python-powered shell. Full-featured and cross-platform.
Misterio77/nix-starter-configs
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
NixOS/nix.dev
Official documentation for getting things done with Nix.
NixOS/nixos-hardware
A collection of NixOS modules covering hardware quirks.
chubin/rate.sx
:moneybag: curl cryptocurrencies exchange rates
maralorn/nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
0xPARC/zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
fedimint/fedimint
Federated E-Cash Mint
fort-nix/nix-bitcoin
A collection of Nix packages and NixOS modules for easily installing full-featured Bitcoin nodes with an emphasis on security.
hacspec/hacspec
Please see https://github.com/hacspec/hax
bitcoin-teleport/teleport-transactions
CoinSwap implementation
AdamISZ/from0k2bp
From Zero (Knowledge) to Bulletproofs - writeup
talaia-labs/rust-teos
The Eye of Satoshi - Lightning Watchtower
ElementsProject/peerswap
fanquake/core-review
Scripts, tools & info for doing Bitcoin Core development and code review
BlockstreamResearch/codex32
A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.
BlockstreamResearch/cross-input-aggregation
Thoughts on cross-input (signature) aggregation for Bitcoin
rustyrussell/secp256k1-py
Python FFI bindings for libsecp256k1 (maintained)
0xB10C/miningpool-observer
Transparency for Mining Pool Transaction Selection
ariard/L2-zoology
Onchain security and performance analysis of Bitcoin's second-layer protocols
robot-dreams/roast
Naive implementation of ROAST protocol for robust threshold signatures
BlockstreamResearch/simfony
Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
ulex-opensource/Ulex
The open source legal system
jonasnick/little-crypto-notebook
sanket1729/rust-bulletproofs-pp
Implementation of bulletproofs++ in rust
uncomputable/natural-number-game
Reimplementation of Natural Number Game in Coq
cypherstack/bppp-review
Report from Bulletproofs++ review
robot-dreams/insecure-musig
An efficient attack against insecure variants of MuSig, based on Benhamouda et al (2020)
uncomputable/simple-turing
Turing machine verifier written in Simplicity