Ports of Tock for STM32 chips and discovery boards
☆23Jan 22, 2021Updated 5 years ago
Alternatives and similar repositories for tock-stm32
Users that are interested in tock-stm32 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Easy to use STM32 development environment based on opensource tools☆14Dec 19, 2022Updated 3 years ago
- scheme->gba : a Scheme compiler targeting ARM assembly.☆13Aug 6, 2016Updated 10 years ago
- Bazel rules for building stm32f4 embedded projects☆13Nov 11, 2017Updated 8 years ago
- The firmware for STM32F103 microcontrollers that emulates CH340 IC (USB to UART interface)☆28Apr 28, 2017Updated 9 years ago
- 物联网资料收集,Awesome Internet of Things☆13Jul 25, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- User friendly magnetic field calculations in python☆11Apr 15, 2026Updated 4 months ago
- 🇬🇧 A !serious adventure for the Ununited Kingdom written in prolog☆15May 31, 2017Updated 9 years ago
- ☆20May 15, 2015Updated 11 years ago
- The directory to save Bumblebee core's documents, just for GD32VF103 RISC-V Core☆42Mar 24, 2021Updated 5 years ago
- STM32F4 DSP 项目模板☆10Jan 7, 2018Updated 8 years ago
- A digital clock based on STM32F405 MCU☆11Jul 21, 2023Updated 3 years ago
- An implementation of the Duo Security Web SDK in Go/Golang.☆13May 1, 2020Updated 6 years ago
- USB Key AVR ISP Programmer, based on USBasp☆37Jul 17, 2013Updated 13 years ago
- Arduino Component Tester☆11Aug 31, 2016Updated 10 years 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.
- Mecrisp-Stellaris Forth for the STM32 Cube ecosystem.☆36Aug 8, 2026Updated 3 weeks ago
- FreeRTOS rewritten in Rust for the PIC32MX target, and eventually for x86, ARM, and MSP430 as well.☆66Jun 30, 2014Updated 12 years ago
- An ETL tool for converting untyped CSV to parquet. Also triggers data lake updates.☆15Oct 29, 2021Updated 4 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Remote temperature/humidity/light sensors module using STM32F103C8T6 with NRF24L01+☆14Jul 13, 2014Updated 12 years ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 3 years ago
- Generate Parquet Files☆14Apr 23, 2026Updated 4 months ago
- ☆17Oct 24, 2018Updated 7 years ago
- Tool for programming Tock onto hardware boards.☆44Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆16Jan 25, 2026Updated 7 months ago
- Class exersizes to learn about cross compilation, programming and debugging using 1Bitsy, Black Magic Probe GCC and GDB.☆15Aug 7, 2017Updated 9 years ago
- ☆11May 21, 2021Updated 5 years ago
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- Convert bytes to a human readable string: 1337 → 1.34 kB☆46Oct 27, 2022Updated 3 years ago
- This is an Arduino porting for STM32F405/407☆14Oct 8, 2024Updated last year
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆14Jan 9, 2026Updated 7 months ago
- ZX Spectrum 48k with ULAPlus☆13May 11, 2015Updated 11 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.
- An example of on-boarding a PIO block in with duh and wake☆12Nov 18, 2020Updated 5 years ago
- Motion recognition with artificial intelligence on STM32☆19Feb 6, 2018Updated 8 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆79Sep 24, 2018Updated 7 years ago
- Academic Operating System (targeting x86-64, multiprocessor)☆13Aug 30, 2015Updated 11 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- A Rust wrapper for FreeRTOS.☆245Nov 12, 2020Updated 5 years ago