A self-balancing robot coded in Rust
☆17Feb 3, 2018Updated 8 years ago
Alternatives and similar repositories for zen
Users that are interested in zen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆24Sep 22, 2014Updated 11 years ago
- Stop the maintenance☆11Feb 28, 2022Updated 4 years ago
- This library provides zero-cost dimensional analysis for safe, unit-aware numeric computations in Rust.☆24Dec 21, 2017Updated 8 years ago
- Simple, async embedded Rust☆11Jan 14, 2021Updated 5 years ago
- Experiments in `no_std` cooperative multitasking☆23Nov 19, 2018Updated 7 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.
- Obstacle avoiding robot made with the avr-hal crate, all in Rust 🦀.☆50Mar 30, 2021Updated 5 years ago
- ☆18Apr 3, 2024Updated 2 years ago
- field accessor traits,and emulation of structural types☆13Apr 13, 2021Updated 5 years ago
- A lambda calculus parser, evaluator and repl☆12Oct 30, 2021Updated 4 years ago
- A ROS2 Compatible node that interfaces with the BNO085 IMU sensor via python☆13Feb 28, 2026Updated 5 months ago
- A multiplayer WebGL game☆10Jan 7, 2023Updated 3 years ago
- Fancy output for Cargo☆13Apr 19, 2016Updated 10 years ago
- Low-level Rust support for STM32 microcontrollers☆10Aug 25, 2015Updated 10 years ago
- Automated terminal emulator benchmarks☆25Jun 22, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust bindings for the Wolfram|Alpha web API☆11Nov 21, 2017Updated 8 years ago
- Implicit Drop/move protection for Rust (linear types)☆13Jun 20, 2015Updated 11 years ago
- Guide to effective computing, because we don't know how to use computers.☆11Nov 21, 2022Updated 3 years ago
- Whatever prolog☆16Nov 19, 2015Updated 10 years ago
- This is an Angular workshop using TypeScript. It attempts to demonstrate creating a simple web application.☆11Mar 2, 2023Updated 3 years ago
- a port of the motivations package to rust☆15May 27, 2018Updated 8 years ago
- An AVR emulator☆17Feb 13, 2021Updated 5 years ago
- A personal wiki☆10Jun 26, 2020Updated 6 years ago
- Official Salva plugin for the Bevy game engine.☆16Dec 8, 2020Updated 5 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.
- Asynchronous ICMP pinging library☆18Aug 11, 2025Updated last year
- partition slices in-place by a predicate☆19Sep 17, 2021Updated 4 years ago
- Toy experiment of a text editing node graph in Rust☆15Dec 31, 2017Updated 8 years ago
- A system to handle and connect meal-credit donations on the Brown campus☆10Apr 19, 2023Updated 3 years ago
- QGIS plugin for creating continuous cartograms☆15Oct 4, 2015Updated 10 years ago
- a netctl controller / deamon☆17Mar 14, 2022Updated 4 years ago
- An authorization library with json-based policy definition.☆12Jan 8, 2021Updated 5 years ago
- a programming language and environment that is almost entirely written in itself☆10Jan 4, 2020Updated 6 years ago
- Code for creating, using, and cloning MT19937 Mersenne Twister PRNGs☆17Dec 5, 2020Updated 5 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.
- A data engine for Data Oriented Design☆25Apr 19, 2019Updated 7 years ago
- Rust Google Oauth2 Client Implementation☆21Jul 28, 2026Updated 2 weeks ago
- Duffed's Interface☆16Jul 6, 2011Updated 15 years ago
- A small tool for creating and searching Golomb Compressed Sets☆13Jul 21, 2022Updated 4 years ago
- A synthesis-enabled solver for relational logic☆29Apr 30, 2018Updated 8 years ago
- Python client API for Airma.sh☆18Jan 14, 2018Updated 8 years ago
- A collection of little open source FPGA hobby projects☆51Feb 6, 2020Updated 6 years ago