A guide to rust your stm32 microcontroller
☆30Jan 8, 2021Updated 5 years ago
Alternatives and similar repositories for stm32-rustup
Users that are interested in stm32-rustup are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manage water levels in a reservoir by controlling water pumps.☆16Nov 6, 2023Updated 2 years ago
- Toolbox for PLC implementation building on the `ethercat` crate☆17Mar 25, 2025Updated last year
- Template to develop bare metal Rust applications for STM32F3DISCOVERY board☆12Jun 16, 2021Updated 4 years ago
- Rustによる三菱電機のSLMP (Seamless Message Protocol)クライアント☆12Nov 21, 2021Updated 4 years ago
- ☆32Apr 14, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Using an ESP32, relays, a water pump and a TDS sensor to monitor an hydroponics tower☆22Aug 20, 2020Updated 5 years ago
- 🌸 A curated list of Rust code and resources from Hitrust☆36Dec 13, 2020Updated 5 years ago
- ☆16Feb 18, 2025Updated last year
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Simple example app using Gatsby.js with Purescript☆12Jan 6, 2023Updated 3 years ago
- A tool to control the fan speed by monitoring the temperature of CPU via IPMI.☆40Dec 8, 2025Updated 4 months ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- Repository of all kinds of entities.☆14Oct 23, 2022Updated 3 years ago
- ☆17Jun 21, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Minecraft demo in Haskell ;)☆12Mar 11, 2016Updated 10 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- A minimal esolang based on lambda calculus☆16Jan 13, 2021Updated 5 years ago
- PLC programming in Rust!☆48Aug 7, 2021Updated 4 years ago
- ☆43Apr 14, 2024Updated 2 years ago
- 不要问在不在！！有点像是“提问的智慧”在中文圈（?）即时通讯软件下的一种特化。☆20Oct 6, 2021Updated 4 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Feb 12, 2021Updated 5 years ago
- Rust Board Support Package for the STM32F3DISCOVERY☆57Dec 26, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A multi-threaded, persistent key/value store☆17Feb 9, 2021Updated 5 years ago
- 🌿 For you, rustaceans from HIT☆26Mar 2, 2024Updated 2 years ago
- ☆32Oct 12, 2021Updated 4 years ago
- ☆10Nov 7, 2022Updated 3 years ago
- Wi-Fi enabled XVC programmer/debugger based on ESP8266☆12May 31, 2015Updated 10 years ago
- Proof search for intuitionistic propositional logic using Dyckhoff's LJT.☆27Nov 27, 2023Updated 2 years ago
- Lua dialect in rust☆22Jun 17, 2021Updated 4 years ago
- rseip - EIP&CIP client in pure Rust, for generic CIP and AB PLC☆64Mar 21, 2024Updated 2 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 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.
- 抗催眠装置！☆24Dec 3, 2023Updated 2 years ago
- the PCB board design for ARM Mbed DAP Link.☆15Nov 28, 2024Updated last year
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Jun 2, 2020Updated 5 years ago
- Code examples of using STM32F429 for generating VGA image.☆24Apr 29, 2023Updated 2 years ago
- Superscalar RISC-V processor written in Clash.☆35Aug 23, 2022Updated 3 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Oct 5, 2020Updated 5 years ago