Platform to find open source issuess
☆20May 19, 2026Updated 3 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…☆16Jul 9, 2026Updated last month
- Firmware for ESCape32 Wi-Fi Link☆15Jul 11, 2026Updated last month
- A browser-based IDE for CircuitPython supported microcontrollers. No installation needed. Handy and powerful.☆16Updated this week
- impl Rust for Raspberry Pi Pico - Embedded Programming with Raspberry Pi Pico (RP2040) and Rust☆16Aug 2, 2026Updated 3 weeks ago
- Development of a real-time earthquake detection system, to alert the population even in areas where there isn’t a dedicated relevation sy…☆18Updated this week
- 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 full fledged open source alternative to Zehnder ComfoSense and ComfoLan C, in a single firmware which can deployed to multiple Waveshar…☆25Jun 5, 2026Updated 2 months ago
- An interactive dependency graph of human knowledge☆24Jul 25, 2026Updated last month
- no_std HTTP client & server for embedded systems☆31Jun 30, 2026Updated 2 months ago
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆23Aug 19, 2026Updated last week
- The only self improvement app you'll ever need. Block social media, track your habits, and write about your life's memories with end to e…☆19Jun 13, 2026Updated 2 months ago
- Team memory sharing for claude-mem — sync AI memories across developers, with Claude Code plugin, github action and knowledge distillatio…☆24Jun 20, 2026Updated 2 months ago
- ☆14Apr 5, 2023Updated 3 years ago
- UEFI firmware for RK3576 devices☆16Aug 16, 2026Updated 2 weeks ago
- A unix-like system that hopes to pursue efficiency☆56Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The frontend for GoDoxy☆18Updated this week
- 💾 FreeRTOS port for the NEORV32 RISC-V Processor.☆17Aug 17, 2026Updated last week
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆17Apr 5, 2025Updated last year
- Home Assistant Integration for OpenDisplay☆73Updated this week
- A curated list of emojis of anything and everything frontend related that you can import into Slack. Brought to you by Frontend Happy Hou…☆19Jan 31, 2018Updated 8 years ago
- Realtime multi loop processor editor for the Amiga range of computers.☆18Jul 21, 2026Updated last month
- 永久性记忆，8层认知+直觉+因果记忆系统让 AI Agent 记住长期上下文 | 13维因果推理+Factlet精萃+Wiki+睡梦沉淀 | OpenClaw/Hermes 记忆开源项目 | AI Agent记忆☆17Jun 2, 2026Updated 2 months ago
- Awesome Vibecoding and Speccoding Resources repo—a living collection of checklists, guides, and practical tools for creators, product man…☆29Feb 22, 2026Updated 6 months ago
- Autonomous research engine for generating, testing, and governing auditable claims across science, proofs, and high-stakes projects.☆18Updated 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.
- MCP server for accessing VS Code/Cursor's Local History☆15Updated this week
- Claw is a local-first AI control plane that runs powerful open models on your machine and connects to top LLM providers. It intelligently…☆22Updated this week
- Create, Delete, List SQL Server Reporting Services Subscriptions using Powershell and SOAP☆10Apr 12, 2018Updated 8 years ago
- Tracking bugs in the Sonos mobile apps☆11Aug 4, 2024Updated 2 years ago
- Explore the Mathematical Foundations of AI/ML: From Tensors to Consciousness☆17Jul 14, 2026Updated last month
- Node.js module to auto invite Typeform submissions to Slack☆10Feb 13, 2016Updated 10 years ago
- JavaScript SDK to add Improv Wi-Fi over serial to your website.☆21Updated this week
- Mbed TLS is an open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptograph…☆15Jun 22, 2026Updated 2 months ago
- Portfolio website template with Hyprland-inspired tiling layout☆17Dec 22, 2025Updated 8 months 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.
- Host LLM via text-generation-inference☆16Dec 5, 2023Updated 2 years ago
- This is a fully local AI Assistant that uses Silero VAD, Faster-Whisper, LM Studio, Coqui TTS, MiniLM-L6-v2 and ChromaDB☆16Aug 22, 2026Updated last week
- Arduino Library to support the Bosch BMV080 Particulate Matter Air Quality Sensor PM2.5 via I2C and SPI.☆15Jun 29, 2026Updated 2 months ago
- [ACL 2026] Executable Knowledge Graphs for Replicating AI Research☆18Jul 9, 2026Updated last month
- NanoUPDI: The smallest USB Type-C serial UPDI programmer for your projects☆18Apr 28, 2026Updated 4 months ago
- A command-line interface for Windows for outputting or modifying proxy settings for Internet Explorer☆14Feb 13, 2013Updated 13 years ago
- An implementation of the ISO-TP (ISO15765-2) CAN protocol in C☆63Jul 31, 2026Updated 3 weeks ago