Platform to find open source issuess
☆20May 19, 2026Updated 2 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 week
- [M2] Desktop app to compare two local Git repos' commit history side-by-side — colour-coded matches, cherry-pick detection (title / patch…☆30Updated this week
- 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☆15Updated this week
- Flash ESP32 firmware without command line. Auto-installs esptool, factory mode for batch flashing.☆20Jun 30, 2026Updated 3 weeks 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.
- Settings for esphome☆21Updated this week
- 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 last month
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆22Jul 5, 2026Updated 2 weeks ago
- 45+ production-ready tutorials on data science, MLOps, and AI tools. All code is executable and adaptable for real projects.☆32Updated this week
- Think → Build → Prove → Ship. The project delivery system that turns ideas into verified, deployed code. AI agents write the code — CodeF…☆18Updated this week
- ☆14Apr 5, 2023Updated 3 years ago
- UEFI firmware for RK3576 devices☆15Updated this week
- The frontend for GoDoxy☆17Updated 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A HttpClient manager that allows cool stuff to happen☆11Jan 2, 2018Updated 8 years ago
- A .NET cross-platform CLI app that uses TorSharp to run a local proxy☆13Jul 11, 2026Updated last week
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆17Apr 5, 2025Updated last year
- Realtime multi loop processor editor for the Amiga range of computers.☆17Jun 22, 2026Updated 3 weeks ago
- Autonomous research engine for generating, testing, and governing auditable claims across science, proofs, and high-stakes projects.☆16Updated this week
- Kiln — WebAssembly runtime for safety-critical systems. Full Component Model and WASI 0.2 support. Part of the PulseEngine toolchain.☆15Updated this week
- Explore the Mathematical Foundations of AI/ML: From Tensors to Consciousness☆17Jul 14, 2026Updated last 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 last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Node.js module to auto invite Typeform submissions to Slack☆10Feb 13, 2016Updated 10 years ago
- Efficient implementation (and explorations) into polar coordinate positional embedding (PoPE) - from Gopalakrishnan et al. under Schmidhu…☆71Jun 21, 2026Updated 3 weeks ago
- A distributed AI agent orchestration layer enabling transformation of Codex for macOS into collective intelligence networks. Features neu…☆27Mar 7, 2026Updated 4 months ago
- Hands-on React learning project focused on understanding core React concepts through practical examples and component-based development.☆18Updated this week
- Host LLM via text-generation-inference☆16Dec 5, 2023Updated 2 years ago
- Arduino Library to support the Bosch BMV080 Particulate Matter Air Quality Sensor PM2.5 via I2C and SPI.☆15Jun 29, 2026Updated 3 weeks ago
- StealthMessage is a designed platform that allows users to send and receive anonymous messages without revealing its identity.☆18Dec 14, 2024Updated last year
- Use a single push button for up to 6 different functions! Button gesture combinations of single, double, and triple-tap along with a lon…☆14Jun 17, 2026Updated last month
- Next-generation, cloud-agnostic YarnLink orchestrator enables intelligent automation, yielding optimized yarnlink-engine. implementing mo…☆16May 12, 2026Updated 2 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.
- Browse every recent Claude Code session across all your projects and jump back into any of them. Shows project path, summary, git branch,…☆17Updated this week
- A command-line interface for Windows for outputting or modifying proxy settings for Internet Explorer☆14Feb 13, 2013Updated 13 years ago
- A local-first, AI-powered CLI personal assistant for tracking goals, reflections, and context☆16Jan 9, 2026Updated 6 months ago
- Field-Oriented Control (FOC) motor firmware for STM32, in Rust + Embassy☆16Jul 8, 2026Updated last week
- A Visual Studio extension☆15Nov 26, 2024Updated last year
- A Linux kernel integrity scanner☆17May 2, 2026Updated 2 months ago
- An advanced study tool that transforms raw audio recordings and PDF slides into structured, professional LaTeX university notes. Powered …☆19May 25, 2026Updated last month