Yet Another Kalman Filter Implementation. As well as Lie Theory (Lie group and algebra) on SE(3). [no_std] is supported by default.
☆20Jul 15, 2022Updated 4 years ago
Alternatives and similar repositories for yakf
Users that are interested in yakf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Spooky is a system for Wireless Distributed State Estimation of multiple tracked subjects (mainly people and quadrotors), and control of …☆17May 31, 2017Updated 9 years ago
- Radix sort implementation for sorting by scalar keys (integers, floats, chars, bools)☆25Aug 19, 2024Updated last year
- Discrete event simulator built in Rust 🦀☆13Jun 10, 2023Updated 3 years ago
- Rust bindings for PX4.☆25Nov 4, 2019Updated 6 years ago
- A drop-in GlobalAlloc implementation using tcmalloc from gperftools.☆20Nov 2, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Nov 4, 2023Updated 2 years ago
- ☆14Mar 4, 2024Updated 2 years ago
- Implementation of Discord bot for answering synthetix related questions☆11Apr 20, 2023Updated 3 years ago
- Scalafix Rewrites for Scala☆10Oct 5, 2021Updated 4 years ago
- ☆12May 4, 2021Updated 5 years ago
- Grokking on modular arithmetic in less than 150 epochs in MLX☆15Oct 24, 2024Updated last year
- A high-performance library for gradient based quantum optimal control☆12Jun 23, 2023Updated 3 years ago
- Self-balancing robot using LQR control, written in Rust☆13Jan 9, 2023Updated 3 years ago
- A collection of optimisers for use with candle☆49Jun 29, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- YOLOv5 Inference with ONNX & OpenCV in Rust☆14Dec 26, 2023Updated 2 years ago
- ☆12Nov 2, 2024Updated last year
- Smart contracts of the DFMM protocol☆22Apr 30, 2024Updated 2 years ago
- Virtual cockpit for UAVs☆12Feb 13, 2017Updated 9 years ago
- ☆22Oct 19, 2025Updated 9 months ago
- Groho (গ্রহ) is a simulator for inter-planetary travel☆12Jul 15, 2020Updated 6 years ago
- The API and mavlink corpus server.☆13May 19, 2016Updated 10 years ago
- Python interface for the NRLMSISE-00 empirical neutral atmosphere model☆12Sep 30, 2024Updated last year
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple Django middleware for submitting timings and exceptions to Datadog.☆13Jun 26, 2017Updated 9 years ago
- Rust interface to nlopt☆12Oct 2, 2020Updated 5 years ago
- Blazingly fast RUST based log viewer☆10Nov 13, 2023Updated 2 years ago
- A ray tracer in Rust.☆12Jun 7, 2022Updated 4 years ago
- ☆11Jul 18, 2022Updated 4 years ago
- A package for the Go programming language to solve ordinary differential equations.☆11Nov 6, 2022Updated 3 years ago
- A tutorial on Quantum Noise Characterization and Mitigation☆10Sep 19, 2022Updated 3 years ago
- A TUI client for Zotero☆14Jul 21, 2021Updated 5 years ago
- Monadic directed acyclic graph datastructures for Scala☆14Feb 12, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fiddler抓包Header信息转换器，可以将Fiddler抓包信息中的Header转为Java和C#代码，以及ApiPost可导入的Json☆10Mar 26, 2022Updated 4 years ago
- A rust project template for general purpose.☆13Sep 30, 2024Updated last year
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- XaaS for KaTeX on docs.rs☆13Apr 21, 2018Updated 8 years ago
- 🔎 Highly optimized Solidity library of statistical functions rationally approximated☆27Oct 15, 2024Updated last year
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 3 years ago
- PyQt application which shows the plotly map☆11Jan 13, 2023Updated 3 years ago