☆12Nov 21, 2016Updated 9 years ago
Alternatives and similar repositories for smartMotorLib
Users that are interested in smartMotorLib 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 PROS library for programming VEX robots.☆107Feb 3, 2023Updated 3 years ago
- A Discord bot that provides services related to the VEX Robotics Competition, primarily providing statistics related to the competition.☆15May 18, 2023Updated 3 years ago
- Example projects and tutorials for VEXcode V5 Pro.☆15Aug 3, 2022Updated 4 years ago
- The ARMS library packaged for easy distribution with PROS☆34May 2, 2024Updated 2 years ago
- Source code for PROS kernel: open source C/C++ development for the VEX V5 microcontroller☆321Updated this week
- 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.
- ☆13Oct 25, 2026Updated last week
- Logical Frameworks Class☆12Feb 29, 2024Updated 2 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- ☆14May 7, 2026Updated 5 months ago
- Website for AsciiMath☆14Apr 14, 2026Updated 6 months ago
- Live code an Audio Worklet in your browser!☆11Apr 21, 2018Updated 8 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- Realm Browser for Android Studio☆13Dec 23, 2016Updated 9 years ago
- Display the robot on a VEX field using information from odometry and LVGL☆23Jan 23, 2020Updated 6 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.
- Scripts to build OpenCV for the RoboRIO☆13Dec 12, 2025Updated 10 months ago
- A Gradual Dependently-typed Language☆14Jun 26, 2019Updated 7 years ago
- Termcat is a markup language for scientific and technical writing.☆11Oct 24, 2018Updated 8 years ago
- Éclair - Parsing with derivatives and zippers☆11Apr 8, 2020Updated 6 years ago
- ☆10Aug 17, 2021Updated 5 years ago
- GUIslice_Image2c converts BMP images to C Array for GUIslice.☆11May 24, 2024Updated 2 years ago
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆18Oct 15, 2026Updated 2 weeks ago
- A collection of robotics problems, for learning and for fun☆16Jul 19, 2026Updated 3 months ago
- Multifont GFX library for IDE, adapted from Adafruit_GFX library☆12Jan 19, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- ☆14Updated this week
- Public issue tracker for garnix.io☆16Feb 15, 2022Updated 4 years ago
- Arduboy Operating System☆16Oct 23, 2018Updated 8 years ago
- Moved to https://github.com/robotpy/mostrobotpy☆18Oct 26, 2023Updated 3 years ago
- ☆16Jan 24, 2023Updated 3 years ago
- Development area for another repo: Learn_Bluespec_and_RISCV_Design☆13Jun 28, 2026Updated 4 months ago
- ☆20Jun 1, 2024Updated 2 years ago
- Realtime chat system with Node.js and the socket.io library☆12Nov 11, 2020Updated 5 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.
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago
- Local-first password, 2FA and recovery vault for Windows and Linux. Your vault is encrypted on your device and never sent to a server. AG…☆21Updated this week
- ☆19Jan 13, 2026Updated 9 months ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- Small, configurable proof search for inductive Lean goals☆26Sep 30, 2026Updated last month
- Linux kernel module for triggering a System Management Interrupt (SMI)☆16Sep 13, 2017Updated 9 years ago
- constant/runtime variant types, constexpr graphs, and 2d audio vector operations☆19Jun 3, 2026Updated 5 months ago