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.
Repository Index
78,351 visible repositories in the index
1–24 of 64 · Most stars
the champagne of beta embedded databases
- incredibly-spicy
- database
- embedded-kv
- concurrent
The AI-native JSON Gantt chart engine. Dependency-free interactive timelines with React, script-tag, CLI, topological DAG solver, and formal JSON schema.
- ai-tools
- critical-path
- dag
- data-visualization
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
The Less Formal CSS Framework
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
My own notes (drafts mostly) about software quality
- ebooks
- quality-assurance
- software-testing
- courses
The CompCert formally-verified C compiler
A textbook on informal homotopy type theory
Extend character support to 5,000+, lift editing limits, integrate with DeepL (Pro or API), enable formal/informal tone selection, and provide privacy‑friendly device fingerprint rotation.
- chrome-extension
- chrome-extensions
- crack
- deepl
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
Creusot helps you prove your Rust code is correct.
- rust-lang
- verification
- proof
- formal-verification
HACL*, a formally verified cryptographic library written in F*
- cryptography
- verified-primitives
- high-performance
- security
A static verifier for Rust, based on the Viper verification infrastructure.
- rust
- verification
- viper
- formal-verification
Minimal and formal résumé (CV) website template for print, mobile, and desktop.
- resume
- cv
- template
- tailwindcss
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Smart contracts which are formally verified
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.