Platform to find open source issuess
☆19May 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…☆17Jul 9, 2026Updated 2 months ago
- Firmware for ESCape32 Wi-Fi Link☆15Jul 11, 2026Updated 2 months ago
- A browser-based IDE for CircuitPython supported microcontrollers. No installation needed. Handy and powerful.☆16Updated this week
- Flash ESP32 firmware without command line. Auto-installs esptool, factory mode for batch flashing.☆22Jun 30, 2026Updated 2 months ago
- Distributed Earthquake Early Warning (EEW) system built on low-cost ESP32-C3 IoT sensors with Zero-Trust security, multi-node epicenter t…☆19Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A full fledged open source alternative to Zehnder ComfoSense and ComfoLan C, in a single firmware which can deployed to multiple Waveshar…☆25Updated this week
- An interactive dependency graph of human knowledge☆23Jul 25, 2026Updated last month
- no_std HTTP client & server for embedded systems☆32Sep 1, 2026Updated 2 weeks ago
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆26Updated this week
- Team memory sharing for claude-mem — sync AI memories across developers, with Claude Code plugin, github action and knowledge distillatio…☆27Jun 20, 2026Updated 2 months ago
- ☆14Apr 5, 2023Updated 3 years ago
- UEFI firmware for RK3576 devices☆16Updated this week
- A unix-like system that hopes to pursue efficiency☆56Aug 28, 2026Updated 3 weeks ago
- A Visual Studio extension☆11Aug 11, 2021Updated 5 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.
- Display information of your KW1281 K-Line VAG vehicle on a display controlled by an Arduino Uno (Or similar).☆44Updated this week
- The frontend for GoDoxy☆18Updated this week
- ShellSpeak translates natural language to shell commands, simplifying system interactions for non-tech-savvy users. With color-coded UI, …☆12Nov 26, 2023Updated 2 years ago
- A HttpClient manager that allows cool stuff to happen☆11Jan 2, 2018Updated 8 years ago
- An delay-based audio effects plugin.☆18May 2, 2024Updated 2 years ago
- A .NET cross-platform CLI app that uses TorSharp to run a local proxy☆13Aug 21, 2026Updated 3 weeks ago
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆17Apr 5, 2025Updated last year
- 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
- Open-source password manager and TOTP vault for browsers and the web☆21Updated this week
- 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.
- 永久性记忆，8层认知+直觉+因果记忆系统让 AI Agent 记住长期上下文 | 13维因果推理+Factlet精萃+Wiki+睡梦沉淀 | OpenClaw/Hermes 记忆开源项目 | AI Agent记忆☆17Jun 2, 2026Updated 3 months ago
- Autonomous research engine for generating, testing, and governing auditable claims across science, proofs, and high-stakes projects.☆19Aug 29, 2026Updated 3 weeks ago
- Results of my reverse engineering efforts on the Ableton Push 3 hardware controller.☆18Mar 31, 2026Updated 5 months ago
- Open Source Internet Of Things Rapid Prototyping Framework For Environmental Sensing Applications☆18Updated this week
- 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
- Explore the Mathematical Foundations of AI/ML: From Tensors to Consciousness☆16Jul 14, 2026Updated 2 months ago
- Node.js module to auto invite Typeform submissions to Slack☆10Feb 13, 2016Updated 10 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.
- JavaScript SDK to add Improv Wi-Fi over serial to your website.☆21Sep 7, 2026Updated last week
- A distributed AI agent orchestration layer enabling transformation of Codex for macOS into collective intelligence networks. Features neu…☆28Mar 7, 2026Updated 6 months ago
- ☆37Updated this week
- Efficient implementation (and explorations) into polar coordinate positional embedding (PoPE) - from Gopalakrishnan et al. under Schmidhu…☆73Jun 21, 2026Updated 2 months ago
- Mbed TLS is an open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptograph…☆16Jun 22, 2026Updated 2 months ago
- Awesome Vibecoding and Speccoding Resources repo—a living collection of checklists, guides, and practical tools for creators, product man…☆30Feb 22, 2026Updated 6 months ago
- StealthMessage is a designed platform that allows users to send and receive anonymous messages without revealing its identity.☆18Dec 14, 2024Updated last year