A library for doing constant-time fixed-point numeric operations
☆26Nov 6, 2020Updated 5 years ago
Alternatives and similar repositories for libfixedtimefixedpoint
Users that are interested in libfixedtimefixedpoint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Sep 29, 2021Updated 4 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Jul 3, 2015Updated 11 years ago
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 9 years ago
- Fast serializable C++ dictionaries☆15Dec 30, 2025Updated 6 months ago
- A multi-dimensional view over a contiguous array of data.☆11Oct 22, 2019Updated 6 years ago
- 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.
- iDynFor☆16Mar 14, 2024Updated 2 years ago
- [ICRA 2021] DILIGENT-KIO IEEE Xplore: https://ieeexplore.ieee.org/abstract/document/9561248 arXiv: https://arxiv.org/abs/2105.14914☆17Aug 20, 2024Updated last year
- Header-only Lie groups for c++☆18Dec 22, 2022Updated 3 years ago
- Files defining the Open Robotics dependencies☆13Jun 4, 2026Updated last month
- Message Differentiation Package☆13Feb 5, 2026Updated 5 months ago
- ☆14May 17, 2024Updated 2 years ago
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 4 years ago
- Additional shapes to decorate MeshCat scenes (frames, text, ...)☆17Jun 30, 2025Updated last year
- Code dump of of a state estimator estimator for a robot with a floating base. Previously used on the Mercury robot.☆17Feb 18, 2020Updated 6 years ago
- 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.
- A sample kernel module showing the memory reordering.☆13May 30, 2020Updated 6 years ago
- ☆15Oct 6, 2021Updated 4 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- Frictional Contact Library of problems☆18Dec 1, 2025Updated 7 months ago
- Async test/bench toolkit including single stepping executors. No-std compatible.☆14Sep 19, 2021Updated 4 years ago
- ☆12Apr 22, 2023Updated 3 years ago
- 3D Haar Descrete Wavelet Transform C++11 library (using OpenMP and SSE/SSE2/SSE3/AVX).☆17May 26, 2017Updated 9 years ago
- [Humanoids 2024 award finalist] Online DNN-Driven Nonlinear MPC for Stylistic Humanoid Robot Walking with Step Adjustment☆20Feb 5, 2025Updated last year
- Blockset for dsPIC, PIC32 and SAM7x chip for Rapid Control Prototyping☆14Nov 6, 2025Updated 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A library for working with the posit number type.☆16Nov 2, 2020Updated 5 years ago
- Italian Covid-19 vaccination campaign data☆16Jun 1, 2021Updated 5 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- Ivar is an adapter based HTTP client that provides the ability to build composable HTTP requests.☆17Oct 5, 2017Updated 8 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆32Jun 29, 2015Updated 11 years ago
- SipHash: a fast short-input PRF☆61Jul 2, 2015Updated 11 years ago
- Minimal project using Pinocchio as Rigid Body Dynamics library☆28Jul 15, 2026Updated last week
- Collection of robot models compatible with gym-ignition☆26Oct 18, 2021Updated 4 years ago
- Self-contained C++ interface for the MeshCat visualizer☆31Nov 8, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- C++ iterator that performs the cartesian product of many containers.☆12Jan 12, 2016Updated 10 years ago
- Rigid body model of a simple humanoid robot. Model available : urdf + srdf☆10Nov 10, 2025Updated 8 months ago
- Inert lets you use non-Sync values in Sync context☆16Jul 2, 2019Updated 7 years ago
- Augmented Lagrangian method for solving Quadratic Programs☆21Nov 27, 2020Updated 5 years ago
- ☆16Mar 21, 2023Updated 3 years ago
- Plugin for simulating compliant actuators dynamics in ROS-Gazebo☆21Oct 28, 2021Updated 4 years ago
- Japanese translation of OpenSSH manual pages☆13Oct 15, 2016Updated 9 years ago