Skip to content
View Davidson-Souza's full-sized avatar

Organizations

@utreexo @murray-rothbot

Block or report Davidson-Souza

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Nursery for a future bdk_floresta crate

2 1 Updated Dec 9, 2024

Documentation book for the Floresta libraries, covering the architecture and code internals.

Rust 2 1 Updated Dec 11, 2024

A magical neovim plugin for Bitcoin Script 🪄

Lua 17 2 Updated Dec 1, 2024
Rust 9 1 Updated Dec 17, 2024

Your bitcoin infraestructure in a single app

Kotlin 13 Updated Nov 7, 2024

The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

59,497 6,088 Updated Dec 14, 2024
Jupyter Notebook 299 104 Updated Sep 9, 2024

Rust implementation of the Strata protocol

Rust 42 2 Updated Dec 17, 2024

Machine-readable versions of nostr NIPs tables

Python 12 2 Updated Nov 29, 2024

Explore the world of DNS TXT records for payments, identities and beyond.

TypeScript 11 1 Updated Sep 11, 2024

A Rust library for processing application configuration easily

Rust 63 14 Updated Sep 12, 2024

Flexible Rust implementation of the MuSig2 multisignature protocol, compatible with Bitcoin.

Rust 31 11 Updated Dec 2, 2024

RISC-V Specification in Coq

Coq 110 17 Updated Aug 7, 2024
Rust 13 9 Updated Oct 20, 2024

BIPs for utreexo

11 1 Updated Sep 1, 2024

Rust bindings for the bitcoin kernel library

C++ 9 2 Updated Dec 17, 2024

Monitor and analyze the emergent behaviors of Bitcoin networks

Python 95 38 Updated Dec 6, 2024

A massively parallel, optimal functional runtime in Rust

Cuda 10,565 409 Updated Nov 21, 2024

A lightweight library for portable low-level GPU computation using WebGPU.

C++ 3,772 176 Updated Nov 18, 2024

Wear a 6th finger to make surveillance footage look like it's AI generated

28 Updated Aug 3, 2024

Cryptography Educational Foundations

Rust 192 24 Updated Dec 16, 2024

Mathematical Components compliant Analysis Library

Coq 211 48 Updated Dec 17, 2024

BIP340 for Shirts

Python 6 1 Updated Jul 13, 2024

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

60,630 7,859 Updated Dec 13, 2024

Papers from the computer science community to read and discuss.

Shell 88,857 5,758 Updated Nov 8, 2024

Verified Software Toolchain

Coq 444 93 Updated Dec 9, 2024

Building blocks of a Circle STARK verifier in Bitcoin script

Rust 133 23 Updated Dec 17, 2024

A persistent B+Tree (clustered index) implementation in Rust.

Rust 285 36 Updated Jul 3, 2024
Next