Projects in Awesome Lists by uncomputable
A curated list of projects in awesome lists by uncomputable .
https://github.com/uncomputable/zkp-workshop
Explore the world of zero-knowledge proofs from first principles.
cryptography elliptic-curves jupyter jupyter-notebook learning math mathematics python snarks workshop zero-knowledge zkp
Last synced: 13 Apr 2025
https://github.com/uncomputable/tappy
Developer-friendly Taproot-only descriptor wallet for Bitcoin Core
application bitcoin cli learning rust taproot wallet
Last synced: 13 Apr 2025
https://github.com/uncomputable/simfony-webide
Simplicity / Simfony development in the browser!
Last synced: 13 Apr 2025
https://github.com/uncomputable/simpiwallet
First wallet that uses Simplicity descriptors
bitcoin cli cryptography rust wallet
Last synced: 13 Apr 2025
https://github.com/uncomputable/natural-number-game
Reimplementation of Natural Number Game in Coq
coq game lean logic solutions theorem-prover
Last synced: 10 Feb 2025
https://github.com/uncomputable/hal-simplicity
Companion for the Simplicity language
application bitcoin cli graph rust
Last synced: 13 Apr 2025
https://github.com/uncomputable/simple-turing
Turing machine verifier written in Simplicity
application bitcoin rust turing-machine
Last synced: 29 Mar 2025
https://github.com/uncomputable/japanese-tools
Tools for Japanese natural language processing
Last synced: 29 Mar 2025
https://github.com/uncomputable/tackling-bulletproofs
In-depth survey into what Bulletproofs are and how they work
cryptography learning mathematics pdf tutorial zero-knowledge-proof
Last synced: 10 Jun 2025
https://github.com/uncomputable/rust-wasm-ffi
Minimal website that exposes C functions via WASM
c ffi javascript rust rust-wasm tutorial wasm
Last synced: 29 Mar 2025
https://github.com/uncomputable/asset-gen
Generator of QA assets for Simplicity testing.
Last synced: 29 Mar 2025
https://github.com/uncomputable/bitcoin-nix-tools
Tools for easy Bitcoin Core development using nix.
bitcoin bitcoind liquid-network nix nixos tutorial
Last synced: 29 Mar 2025
https://github.com/uncomputable/coverage-example
Minimal, reproducible example for testing code coverage using GCC or Clang
code-coverage coverage gcov lcov tutorial
Last synced: 29 Mar 2025
https://github.com/uncomputable/expressive-wallet
What is a minimal wallet of coins that can express all amounts below a target?
coq formal-verification maths maths-problem ocaml theorem-proving
Last synced: 14 Apr 2025
https://github.com/uncomputable/convex
Convert between different hex representations
application cli fuzzing hex python
Last synced: 29 Mar 2025
https://github.com/uncomputable/frequency-data
Raw Japanese frequency data.
dictionary japanese japanese-study language raw-data
Last synced: 13 Jun 2025
https://github.com/uncomputable/simfony-as-rust
Tools for working with Simfony as literal Rust.
Last synced: 13 Apr 2025
https://github.com/uncomputable/frequency-dict
Frequency dictionaries for CHJ (Corpus of Historical Japanese), SHC (Showa-Heisei Corpus of written Japanese) and NWJC (NINJAL Web Japanese Corpus).
dictionary japanese japanese-learning japanese-study language yomichan
Last synced: 29 Mar 2025
https://github.com/uncomputable/depass
(Un)deprecate passwords inside the password store
application cli pass password password-manager password-store python
Last synced: 29 Mar 2025