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:
- 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
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Fast serializable C++ dictionaries☆15Dec 30, 2025Updated 7 months ago
- A multi-dimensional view over a contiguous array of data.☆11Oct 22, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [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
- Message Differentiation Package☆13Feb 5, 2026Updated 6 months ago
- ☆14May 17, 2024Updated 2 years ago
- Relative data structures based on the BWT☆12Apr 28, 2018Updated 8 years ago
- 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
- ☆15May 20, 2022Updated 4 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Jul 8, 2017Updated 9 years ago
- ☆15Oct 6, 2021Updated 4 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.
- iCub Firmware☆17Updated this week
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- Frictional Contact Library of problems☆18Dec 1, 2025Updated 8 months ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 10 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 9 months 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- DEPRECATED: Haskell library for retrieving and linkifying a Twitter user timeline.☆17Aug 2, 2023Updated 3 years ago
- twitter clone in haskell☆12Mar 4, 2016Updated 10 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 month
- mpOTR: Multi-party Off-the-Record Messaging☆28Feb 15, 2013Updated 13 years ago
- 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
- ☆10Oct 28, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- C++ iterator that performs the cartesian product of many containers.☆12Jan 12, 2016Updated 10 years ago
- ☆13Nov 23, 2019Updated 6 years ago
- Rigid body model of a simple humanoid robot. Model available : urdf + srdf☆10Nov 10, 2025Updated 9 months ago
- ☆14Feb 17, 2019Updated 7 years ago
- ☆17Sep 27, 2022Updated 3 years ago
- Augmented Lagrangian method for solving Quadratic Programs☆21Nov 27, 2020Updated 5 years ago
- Simple application for playing with elliptic curves☆43Nov 24, 2022Updated 3 years ago