🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.
- react
- react-applications
- react-best-practice
- react-typescript
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
Math & CS awesome List, distinguished by proof and logic technique
A foundational and practical guide for effectively learning and progressively building a blockchain from scratch in Go with gRPC
- blockchain
- blockchain-from-scratch
- concurrent-programming
- cryptography
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
- calculus
- counting
- functions
- graph
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
proof script associated to tutorial material