Kinematics, Proportional Control, Edge Detection, SLAM, and Path Planning
☆23Aug 16, 2020Updated 5 years ago
Alternatives and similar repositories for Arduino-SLAM
Users that are interested in Arduino-SLAM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 5 years ago
- ☆31Mar 5, 2022Updated 4 years ago
- Tools and utilities for acoustic emission monitoring, encompassing sensor array optimization, source localization, moment tensor inversio…☆15May 13, 2025Updated 10 months ago
- ☆18Dec 30, 2024Updated last year
- 8085 Assembly Language Programs☆11Dec 2, 2022Updated 3 years ago
- ☆17Jan 23, 2026Updated 2 months ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Realisation of an autonomous vehicle that computes the trajectory inside a given path using raspberry pi 4, performs signal detection(li…☆19Jul 16, 2024Updated last year
- ESP32 Pentesting tool project☆15May 26, 2021Updated 4 years ago
- VSCode Plugin for Gobra☆11Updated this week
- Syntax highlighting and snippets for Citrix ADC/NetScaler configuration (ns.conf) files in Visual Studio Code☆11Nov 11, 2022Updated 3 years ago
- A Verilog RTL model of a simple 8-bit RISC processor☆19Jan 15, 2019Updated 7 years ago
- Packet Sniffer for TI CC2531 and TI CC2540 dongles (C++)☆12May 3, 2022Updated 3 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 4 years ago
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- Scrape Data from Twitter, Facebook, Yahoo, and other websites☆11Aug 30, 2022Updated 3 years ago
- My repo for experimenting with the usbasp firmware from www.fischl.de☆15Dec 5, 2016Updated 9 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆29Jan 8, 2026Updated 2 months ago
- TradeView Desktop version built in electron☆11Nov 10, 2022Updated 3 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Verifier for effectful, higher-order programs☆18Mar 10, 2026Updated 2 weeks ago
- CC2500 Low-Cost Low-Power 2.4 GHz RF Transceiver driver for esp-idf☆17Feb 27, 2026Updated 3 weeks ago
- ESP-NOW based remote control setup☆13Aug 26, 2018Updated 7 years ago
- Stock Market predictions are one of the most difficult problems to solve, and during the looming days of recession it’s extremely difficu…☆15Sep 2, 2020Updated 5 years ago
- Long-Term Investment in the Beverage Industry☆17Mar 27, 2024Updated last year
- Paper and talk☆55Jul 11, 2023Updated 2 years ago
- A quick and dirty way to bypass encrypted EPA to connect to a NetScaler Gateway☆20Oct 11, 2019Updated 6 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- ☆17Mar 16, 2026Updated last week
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated 3 months ago
- A complete all-in-one stock bot to fetch and store incremental day on day BSE data, build models and predict future prices and assess fin…☆13Jun 22, 2022Updated 3 years ago
- Python backend system that takes live time Reddit posts about penny stocks, uses sentiment analysis to determine whether to buy, hold, or…☆15May 21, 2019Updated 6 years ago
- Standard control and Inverse Kinematics control library for MeArm and Arduino☆15Oct 13, 2023Updated 2 years ago
- Firmware to allow a CardKB keyboard to be connected to a UART☆15Sep 2, 2020Updated 5 years ago
- Calendars for various securities exchanges.☆12Dec 18, 2020Updated 5 years ago
- A real-time news aggregator☆11Jun 21, 2023Updated 2 years ago
- An attempt to predict stock market volatility, return and trading volume of tech stocks using Semantic Vectors and Google Trends, which r…☆13May 17, 2017Updated 8 years ago
- ☆17Mar 16, 2026Updated last week