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:
- Rosa, the real compiler☆21Jan 31, 2018Updated 8 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 9 months ago
- Casadi based walking code for quadrupeds and quadruped manipulators using Trajectory Optimization☆10Dec 16, 2024Updated 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.
- A multi-dimensional view over a contiguous array of data.☆11Oct 22, 2019Updated 6 years ago
- Files defining the Open Robotics dependencies☆13Sep 15, 2026Updated 3 weeks ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Nov 17, 2017Updated 8 years ago
- ☆14May 17, 2024Updated 2 years ago
- Relative data structures based on the BWT☆12Apr 28, 2018Updated 8 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆58Aug 14, 2023Updated 3 years ago
- Scalable yet rigorous Floating-point Error Analysis☆10Jul 23, 2025Updated last year
- Code repository for experiments in SpecROP paper☆13Sep 3, 2021Updated 5 years ago
- Shapes to decorate MeshCat scenes (frames, point, text)☆17Sep 23, 2026Updated 3 weeks 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.
- 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 5 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Apr 20, 2018Updated 8 years ago
- Frictional Contact Library of problems☆19Dec 1, 2025Updated 10 months ago
- Async test/bench toolkit including single stepping executors. No-std compatible.☆14Sep 19, 2021Updated 5 years ago
- ☆11Nov 27, 2024Updated last year
- 3D Haar Descrete Wavelet Transform C++11 library (using OpenMP and SSE/SSE2/SSE3/AVX).☆17May 26, 2017Updated 9 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.
- [Humanoids 2024 award finalist] Online DNN-Driven Nonlinear MPC for Stylistic Humanoid Robot Walking with Step Adjustment☆21Feb 5, 2025Updated last year
- Downloads metadata and pdfs given a paper search query.☆21Apr 24, 2013Updated 13 years ago
- Presentation notes from JMU Unix Users Group meetings☆16Sep 24, 2026Updated 2 weeks ago
- Telemetry suite for logging data from your robot 🤖☆19Aug 28, 2026Updated last month
- Blockset for dsPIC, PIC32 and SAM7x chip for Rapid Control Prototyping☆14Nov 6, 2025Updated 11 months ago
- ☆12Nov 25, 2016Updated 9 years ago
- Provisions: Privacy-preserving proofs of solvency for Bitcoin☆14Jan 10, 2016Updated 10 years ago
- twitter clone in haskell☆12Mar 4, 2016Updated 10 years ago
- Ivar is an adapter based HTTP client that provides the ability to build composable HTTP requests.☆17Oct 5, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Rigorous Floating-Point Mixed-Precision Tuner☆18May 21, 2020Updated 6 years ago
- Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/☆32Jun 29, 2015Updated 11 years ago
- Minimal project using Pinocchio as Rigid Body Dynamics library☆28Oct 5, 2026Updated last week
- 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
- Showcase the books you have read.☆10Oct 2, 2017Updated 9 years ago
- Hide information in the font mapping of a PDF.☆14Jun 5, 2017Updated 9 years ago