A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
☆14Sep 25, 2019Updated 6 years ago
Alternatives and similar repositories for DW1000
Users that are interested in DW1000 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Flight stack for an unmanned fixed-wing weather glider.☆16Oct 17, 2017Updated 8 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Simple blockchain in Ada☆24Sep 11, 2025Updated 10 months ago
- Robotics with Ada, ARM, and Lego☆17Feb 10, 2024Updated 2 years ago
- Collection of basic math routines in Ada☆28Oct 31, 2022Updated 3 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.
- An Ada 2012 package to parse command line arguments and options☆12Apr 3, 2022Updated 4 years ago
- Rust binding for gpr☆17Aug 8, 2025Updated 11 months ago
- Mirror of Graphical File Manager for Linux☆20Jun 1, 2022Updated 4 years ago
- Script to automate the installation of the GNAT Community Installers☆18Nov 13, 2019Updated 6 years ago
- DIY instant camera with OpenMV and AdaFruit's thermal printer☆19Oct 18, 2017Updated 8 years ago
- Ada Database Objects☆30Mar 6, 2026Updated 4 months ago
- ☆25Nov 18, 2025Updated 8 months ago
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆52Jan 29, 2026Updated 5 months ago
- Ada Embedded Network Stack☆26Jul 14, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Ada BSP for the Raspberry Pi Pico☆23Oct 26, 2024Updated last year
- Yet Another Static Site (Generator)☆27Sep 5, 2025Updated 10 months ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10May 18, 2025Updated last year
- The AURA Reference Implementation☆25Jul 16, 2025Updated last year
- Platform to submit RFCs for the Ada & SPARK languages☆70Jul 21, 2026Updated last week
- Mathpaqs: a collection of mathematical packages in pure Ada☆15Jun 4, 2026Updated last month
- G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry P…☆27Jun 19, 2026Updated last month
- Finding palindromes in a dictionary with various programming languages☆11Nov 7, 2018Updated 7 years ago
- Official mirror of the Muen Separation Kernel repository☆101Updated this week
- 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.
- A perl script for searching and replacing in mathematics in LaTeX documents.☆13Mar 31, 2026Updated 3 months ago
- Arduino script for EMS sensor board☆10Jul 16, 2021Updated 5 years ago
- CLI shell via UART for STM32 ARM microcontrollers☆17Jun 1, 2023Updated 3 years ago
- A G-code parser and CNC controller (in Ada)☆65Jun 21, 2019Updated 7 years ago
- ☆25Feb 18, 2026Updated 5 months ago
- Bare Metal demos using Ada and ravenscar runtimes☆22Apr 8, 2020Updated 6 years ago
- ☆16Mar 17, 2025Updated last year
- The Ada Conformity Assessment Test Suite, customised for GCC.☆12Aug 1, 2024Updated last year
- Porting DWM3000 C code library to work with ATMEGA328P☆18Feb 13, 2022Updated 4 years ago
- 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.
- Program Round-off Error Certifier via Static Analysis☆59Dec 8, 2025Updated 7 months ago
- A cryptographic library in SPARK 2014☆29Jan 26, 2021Updated 5 years ago
- Demonstrating Embedded Rust running on Linux and Bare-metal at the same time on the same AM578x SoC☆28Nov 25, 2020Updated 5 years ago
- ☆13Updated this week
- Parallel Specification and Implementation Language☆53Mar 15, 2026Updated 4 months ago
- actor based framework for building event driven, distributed simulations☆51Jun 25, 2024Updated 2 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago