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:
- A browser-based IDE for CircuitPython supported microcontrollers. No installation needed. Handy and powerful.☆16Jul 27, 2026Updated last week
- impl Rust for Raspberry Pi Pico - Embedded Programming with Raspberry Pi Pico (RP2040) and Rust☆16Aug 2, 2026Updated last week
- Flash ESP32 firmware without command line. Auto-installs esptool, factory mode for batch flashing.☆20Jun 30, 2026Updated last month
- 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
- 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
- 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.
- Implementation of the model architecture for SRT-H☆30Jun 20, 2026Updated last month
- An interactive dependency graph of human knowledge☆24Jul 25, 2026Updated 2 weeks ago
- no_std HTTP client & server for embedded systems☆30Jun 30, 2026Updated last month
- Prompt Manager☆26Updated this week
- Collection of AI, Data Structures, Data Science, DBMS, and OOP practicals implemented in Python, aligned with the SPPU 2024 curriculum. I…☆23Updated this week
- 45+ production-ready tutorials on data science, MLOps, and AI tools. All code is executable and adaptable for real projects.☆34Jul 17, 2026Updated 3 weeks ago
- 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 last month
- Think → Build → Prove → Ship. The project delivery system that turns ideas into verified, deployed code. AI agents write the code — CodeF…☆17Updated this week
- ☆14Apr 5, 2023Updated 3 years 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.
- UEFI firmware for RK3576 devices☆16Updated this week
- A Visual Studio extension☆11Aug 11, 2021Updated 4 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 weeks ago
- 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
- 💾 FreeRTOS port for the NEORV32 RISC-V Processor.☆16Jul 27, 2026Updated 2 weeks ago
- Use AI to instantly summarize websites' terms of service and highlight any concerning elements☆17Apr 5, 2025Updated last year
- A collection of Antigravity workflows for Product Managers. (产品经理专属的 Antigravity 工作流合集)☆28Dec 18, 2025Updated 7 months ago
- Awesome Vibecoding and Speccoding Resources repo—a living collection of checklists, guides, and practical tools for creators, product man…☆29Feb 22, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Autonomous research engine for generating, testing, and governing auditable claims across science, proofs, and high-stakes projects.☆17Updated this week
- Results of my reverse engineering efforts on the Ableton Push 3 hardware controller.☆18Mar 31, 2026Updated 4 months ago
- MCP server for accessing VS Code/Cursor's Local History☆15Updated 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
- Revolutionizing collaborative thinking and problem-solving through intelligent ranking systems and gamified AI research contribution. A h…☆28Nov 27, 2025Updated 8 months ago
- Explore the Mathematical Foundations of AI/ML: From Tensors to Consciousness☆17Jul 14, 2026Updated 3 weeks ago
- 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.☆20Jul 27, 2026Updated 2 weeks 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.
- 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 last month
- Portfolio website template with Hyprland-inspired tiling layout☆17Dec 22, 2025Updated 7 months ago
- 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.☆14Jun 29, 2026Updated last month
- NanoUPDI: The smallest USB Type-C serial UPDI programmer for your projects☆18Apr 28, 2026Updated 3 months ago
- A command-line interface for Windows for outputting or modifying proxy settings for Internet Explorer☆14Feb 13, 2013Updated 13 years ago
- 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