Pinned Repositories
bitcoinbook
Mastering Bitcoin 2nd Edition - Programming the Open Blockchain
blockchain-for-software-engineers
A curated list of resources for blockchain engineers
fpLogic
Logic and functional programming in Haskell
introToFunctional
Introduction to functional programming slides
k8s_first
First K8s cluster project
lean4_intro
Playing with FV in Lean4
math-lectures
Course materials for the quantum formalism series that includes; live lecture slides, curated study materials and other useful resources.
nft_on_rgb
Simple implementation of a NFT service on RGB
palutz's Repositories
palutz/nft_on_rgb
Simple implementation of a NFT service on RGB
palutz/btc-handshake
Simple test to handshake a Bitcoin node
palutz/Category_Theory_Resources
List of resources for learning Category Theory
palutz/da2020
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
palutz/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
palutz/100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
palutz/AdventOfCode_2023
Advent of Code 2023 (in Rust)
palutz/algorithm-archive
A collaborative book on algorithms
palutz/architecture-decision-record
Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation
palutz/awesome-bitvm
A curated list of resources around BitVM
palutz/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
palutz/elliptic-curve-cryptography
This repo will contain all the lecture notes and other relevant resources curated for the course.
palutz/lisp_interpreter_rs
Code Challenges #30: Write your own List interpreter
palutz/m1fexplained
A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
palutz/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
palutz/Noir_workshops
palutz/oranda
🎁 generate beautiful landing pages for your developer tools
palutz/pymatt
Framework for sMATT contracts
palutz/python-data-science-template-v2
palutz/redis_rs
palutz/rust-bert
Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)
palutz/rust-etl
Practice ETL with Rust and Polars
palutz/rust-lightning
A highly modular Bitcoin Lightning library written in Rust. It's rust-lightning, not Rusty's Lightning!
palutz/rust-new-project-template
A good starting point for a new Rust project
palutz/rust_nextstep
A series of exercises to play with more advanced topics in Rust
palutz/rustgpt
RustGPT is a ChatGPT UI built with Rust + HTMX: the power of Rust coupled with the simplicity of HTMX 💚
palutz/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
palutz/system-design-101
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
palutz/xtra
🎭 A tiny actor framework
palutz/ZeroKnowledgeBootcamp
ZKP Bootcamp July/August 2023