uncomputable Goto Github PK

archie

A minimal Hugo Theme

asset-gen

Generator of QA assets for Simplicity testing.

atheris

bips

Bitcoin Improvement Proposals

bitcoin-nix-tools

Tools for easy Bitcoin Core development using nix.

bitcoin-notes

Notes about Bitcoin

calvin-nix-conf

Personal nixos configurations

convex

Convert between different hex representations

coverage-example

Minimal, reproducible example for testing code coverage using GCC or Clang

depass

(Un)deprecate passwords inside the password store

elements

Open Source implementation of advanced blockchain features extending the Bitcoin protocol

elements-miniscript

expressive-wallet

What is a minimal wallet of coins that can express all amounts below a target?

frequency-data

Raw Japanese frequency data.

frequency-dict

Frequency dictionaries for CHJ (Corpus of Historical Japanese), SHC (Showa-Heisei Corpus of written Japanese) and NWJC (NINJAL Web Japanese Corpus).

from0k2bp

From Zero (Knowledge) to Bulletproofs - writeup

hal-simplicity

Companion for the Simplicity language

japanese-tools

Tools for Japanese natural language processing

job-scheduling

Practical assignment for Problem Solving and Search in AI

konbaato

Convert between different Japanese scripts

local-audio-yomichan

Anki add-on to run a local audio server for Yomichan.

natural-number-game

Reimplementation of Natural Number Game in Coq

nayami

わたしのブログ

ngrampredict

qa-assets

Elements-related blobs used for quality assurance.

rust-bitcoin

Rust Bitcoin library

rust-elements

Rust support for Elements transaction/block deserialization

rust-miniscript

Support for Miniscript and Output Descriptors for rust-bitcoin

rust-simplicity

rust-wasm-ffi

Minimal website that exposes C functions via WASM