Solar variometer for paraglider and hang glider
☆25Feb 1, 2013Updated 13 years ago
Alternatives and similar repositories for le-BipBip
Users that are interested in le-BipBip 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 linear Kalman filter estimating altitude and vertical velocity by doing sensor fusion of acceleration and any altitude measurement such…☆37Jan 4, 2018Updated 8 years ago
- FreeVario for paragliders☆45Apr 2, 2024Updated 2 years ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆15Jun 20, 2025Updated last year
- A parser for ANSI C, in Lean4.☆25Nov 16, 2023Updated 2 years ago
- Electronic drums using STM32 MCU☆12Nov 25, 2021Updated 4 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.
- Ludum Dare 31 entry: 2D multiplayer racing game☆13Jan 16, 2015Updated 11 years ago
- Simple Kalman filter library for Arduino☆20May 30, 2019Updated 7 years ago
- Easily Deploy Code to AWS Lambda☆13Aug 15, 2018Updated 8 years ago
- Arduino driver for Freescale MPX5xxx family of pressure sensors.☆12Aug 24, 2013Updated 12 years ago
- ☆10Jan 20, 2026Updated 6 months ago
- Floating Point Semantics Mechanization for Lean☆23Jun 18, 2026Updated 2 months ago
- Because someone had to code it.☆17Aug 30, 2012Updated 13 years ago
- Arduino C++ library to send telemetry and receive channel data to/from Jeti Duplex receivers via EX Bus.☆16Sep 17, 2023Updated 2 years ago
- Lightweight Universal JavaScript Unit Testing Framework☆22Dec 4, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Universeller Jeti Telemetrie Sensor mit Vario - GPS - Strom - Spannung - Temperatur☆15May 5, 2019Updated 7 years ago
- Category theory and algebra☆27Aug 4, 2016Updated 10 years ago
- A bluetooth audio vario with zero-lag climb/sink rate feedback. Configurable and firmware upgradable via WiFi. Uses off-the-shelf module…☆23Jan 13, 2022Updated 4 years ago
- Slicing tool for c++ programs using clang AST.☆18Mar 8, 2021Updated 5 years ago
- Lightning camera trigger☆13Dec 25, 2025Updated 7 months ago
- Verify Cairo contracts in Lean 4☆21May 22, 2025Updated last year
- ultrasonic wind sensor with Arduino (atmega328) and stm32l4 sensor driver and arduino(esp8266/ESP32) web server interface☆18Mar 12, 2024Updated 2 years ago
- A ring_span implementation that allows zero construction and destruction☆16Jun 7, 2020Updated 6 years ago
- C++ library of performance-minded contiguous containers, strings and streams☆14Jul 20, 2017Updated 9 years ago
- 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.
- Live demo of my Python template.☆23Mar 20, 2025Updated last year
- Low power Arduino thermometer☆11Jun 2, 2018Updated 8 years ago
- Rat cardiovascular system simulation☆14Dec 18, 2024Updated last year
- Simple bike computer (speedometer/odometer) based on ATmega328p and ILI9341 320x240 color LCD☆12Mar 19, 2021Updated 5 years ago
- Modern C++ for Embedded Systems☆16Feb 18, 2022Updated 4 years ago
- Play songs in Background with a set of user preferences available as a 'switch' in the cmdlet.☆19Apr 5, 2018Updated 8 years ago
- PS3604L Panel firmware☆14Aug 2, 2026Updated 2 weeks ago
- Quick starter for SDL2 projects that run in web or desktop☆13Jul 24, 2020Updated 6 years ago
- lighDB - light embed database written on C99 without dynamic allocation and it targets to the MCUs☆16Nov 30, 2017Updated 8 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.
- A data management system for electronic tags on marine animals☆13Mar 31, 2025Updated last year
- Example shows how work with GPS module in STM32F429I-Disco☆17Mar 17, 2014Updated 12 years ago
- Mechanical files for Mendel☆22May 17, 2011Updated 15 years ago
- A Domoticz dashboard as a static web app, using MQTT and React☆16Jun 15, 2019Updated 7 years ago
- MicaSense RedEdge and Altum image processing tutorials. "Enhancements and Batch Notebook for DroneMapper Processing Inputs"☆17Oct 15, 2019Updated 6 years ago
- nRF24LE1 remote sensor module, support DHT21/22, DS18B20, photoresistor as light sensor, AES encryption☆17Feb 24, 2020Updated 6 years ago
- Byeol Programming language.☆10Updated this week