Pinned Loading

1. math-lectures math-lectures Public

   Forked from quantumformalism/math-lectures

   Course materials for the quantum formalism series that includes; live lecture slides, curated study materials and other useful resources.

   1

2. bitcoinbook bitcoinbook Public

   Forked from bitcoinbook/bitcoinbook

   Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

   Python

3. hackdaymanifesto.github.com hackdaymanifesto.github.com Public

   Forked from hackdaymanifesto/site

   The Hackday Manifesto

   HTML

4. rust-for-bitcoiners rust-for-bitcoiners Public

   Forked from bitcoin-dev-project/rust-for-bitcoiners

   Rust

5. LeanInVienna2024 LeanInVienna2024 Public

   Forked from pitmonticone/LeanInVienna2024

   Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

   Lean

6. what-is what-is Public

   Forked from higham/what-is

   Important concepts in numerical linear algebra and related areas

   1