Pinned Loading

1. fpLogic fpLogic Public

   Logic and functional programming in Haskell

   Haskell

2. 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

3. bitcoinbook bitcoinbook Public

   Forked from bitcoinbook/bitcoinbook

   Mastering Bitcoin 2nd Edition - Programming the Open Blockchain

   Python

4. hackdaymanifesto.github.com hackdaymanifesto.github.com Public

   Forked from hackdaymanifesto/site

   The Hackday Manifesto

   HTML

5. rust-for-bitcoiners rust-for-bitcoiners Public

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

   Rust

6. 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