Platform to find open source issuess
☆19May 19, 2026Updated 5 months ago
Alternatives and similar repositories for DevProof
Users that are interested in DevProof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Portable four-parameter vital signs monitor (ECG, SpO2, temperature, respiration) built on ESP32. Biomedical engineering bachelor's proje…☆18Jul 9, 2026Updated 3 months ago
- AI-powered meeting recorder on XIAO ESP32-S3 — live transcription, summaries, and AI chat☆17Jun 20, 2026Updated 4 months ago
- An Affective Platform for AI in an Interdisciplinary Setting☆12May 25, 2026Updated 5 months ago
- GitHub Action to install and cache Kiro CLI for workflows☆16Oct 22, 2026Updated last week
- A browser-based IDE for CircuitPython supported microcontrollers. No installation needed. Handy and powerful.☆16Sep 13, 2026Updated last month
- 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.
- World's first hazard checker for NVIDIA Blackwell (sm_120), with an assembler and scheduler matched against their own compiler byte for b…☆12Oct 1, 2026Updated 3 weeks ago
- YOalphabet: a geometric writing system (neography, conscript) built on a 4-bit binary code. YOalphabet & YOconlang each have human-facing…☆20Updated this week
- Andes OpenEmbedded (OE) BSP Layer☆21Jul 14, 2026Updated 3 months ago
- Flash ESP32 firmware without command line. Auto-installs esptool, factory mode for batch flashing.☆23Jun 30, 2026Updated 4 months ago
- Settings for esphome☆24Updated this week
- A full fledged open source alternative to Zehnder ComfoSense and ComfoLan C, in a single firmware which can deployed to multiple Waveshar…☆27Sep 24, 2026Updated last month
- Implementation of the model architecture for SRT-H☆30Oct 4, 2026Updated 3 weeks ago
- no_std HTTP client & server for embedded systems☆33Sep 1, 2026Updated last month
- My first Python AI assistant inspired by Iron Man, built with speech recognition and modular skills☆10May 13, 2026Updated 5 months 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.
- Machine Learning meets eBPF☆15Apr 24, 2023Updated 3 years ago
- Compact Windows GPU telemetry monitor with 50xx HotSpot support.☆31Sep 20, 2026Updated last month
- C++ Audio and Music DSP Library (not only) for Arduino☆13Sep 12, 2026Updated last month
- grift is a no_std no_alloc no_unsafe lisp for bare-metal devices☆17Oct 2, 2026Updated 3 weeks ago
- This is an open-source contribution opportunity. It is for everyone. So, Hurry up...!! Don't forget to spread love and if you like give a…☆15Oct 1, 2023Updated 3 years ago
- Processing for Hearing-Assistive/Augmented-reality Devices (HADES)☆14Jan 13, 2026Updated 9 months ago
- 📦 .NET nanoFramework Hardware.Esp32 Class Library☆43Updated this week
- Visual-first architecture workspace with typed graphs, deterministic validation, semantic diffs, and proposal-gated AI changes.☆16Aug 27, 2026Updated 2 months ago
- The Oro OS CI/CD pipeline including PCBs, CAD files, firmware and server infrastructure☆13Jun 20, 2026Updated 4 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Linux DRM/KMS virtual display driver — streams the compositor's scanout zero-copy as a DMA-BUF straight into a hardware encoder. An EVDI …☆19Updated this week
- Local/open-source ForgeUI Studio for ESP32-P4 + LVGL 9. Active development has moved to ForgeUI Hosted Studio☆20Sep 10, 2026Updated last month
- A local network discovery tool written in Rust☆14Jun 1, 2025Updated last year
- Hardware and firmware for cashless payment device for cold drinks at the aeroclub at EDLH☆14Jul 22, 2026Updated 3 months ago
- ☆18Aug 23, 2022Updated 4 years ago
- A HttpClient manager that allows cool stuff to happen☆11Jan 2, 2018Updated 8 years ago
- ltm is a machine-history debugger for Linux. It records process, file, network, memory, and block-I/O metadata via eBPF, then lets you qu…☆25Jul 16, 2026Updated 3 months ago
- A bench butler for your Device Under Test: turns a Raspberry Pi Pico into a USB-serial console bridge with power-relay and MOSFET strap/r…☆23Oct 18, 2026Updated last week
- Rust Powered Terminal Artificial Life SIM☆13May 11, 2026Updated 5 months 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.
- Persistent Jupyter kernel execution and live output streaming in VSCode☆14Updated this week
- POWER-KI programming language for Intelligent Applications (IA)☆17Aug 13, 2026Updated 2 months ago
- Make your specs actually comprehensive. Pair your specs with tests to make your coding agent stop improvising bad code☆24Oct 12, 2026Updated 2 weeks ago
- This is a node wrapper for Native Messaging for Windows, Linux, and Mac OS.☆22Jun 30, 2024Updated 2 years ago
- AI agent session, voice stick, apps, themes, and games on M5Stick☆15Oct 9, 2026Updated 3 weeks ago
- YBLINK is a pure Rust DAPLink-compatible firmware running on the HPM5301IEG1 RISC-V microcontroller. It provides support for both SWD and…☆13Updated this week
- Display information of your KW1281 K-Line VAG vehicle on a display controlled by an Arduino Uno (Or similar).☆47Oct 10, 2026Updated 2 weeks ago