S P's repositories
nft_on_rgb
Simple implementation of a NFT service on RGB
Category_Theory_Resources
List of resources for learning Category Theory
math-lectures
Course materials for the quantum formalism series that includes; live lecture slides, curated study materials and other useful resources.
AdventOfCode_2023
Advent of Code 2023 (in Rust)
algorithm-archive
A collaborative book on algorithms
architecture-decision-record
Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation
awesome-bitvm
A curated list of resources around BitVM
btc-handshake
Simple test to handshake a Bitcoin node
comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
elliptic-curve-cryptography
This repo will contain all the lecture notes and other relevant resources curated for the course.
lisp_interpreter_rs
Code Challenges #30: Write your own List interpreter
m1fexplained
A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
oranda
🎁 generate beautiful landing pages for your developer tools
pymatt
Framework for sMATT contracts
rust-bert
Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)
rust-etl
Practice ETL with Rust and Polars
rust-lightning
A highly modular Bitcoin Lightning library written in Rust. It's rust-lightning, not Rusty's Lightning!
rust-new-project-template
A good starting point for a new Rust project
rust_nextstep
A series of exercises to play with more advanced topics in Rust
rustgpt
RustGPT is a ChatGPT UI built with Rust + HTMX: the power of Rust coupled with the simplicity of HTMX 💚
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
system-design-101
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
xtra
🎭 A tiny actor framework
ZeroKnowledgeBootcamp
ZKP Bootcamp July/August 2023