Extending C++ to support Program Verification using SMT solvers
☆24Oct 17, 2026Updated this week
Alternatives and similar repositories for cpp-verify
Users that are interested in cpp-verify 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 cross-platform Quad (128-bit) float Data-Type for NumPy.☆24Sep 15, 2026Updated last month
- Monitor and explain your ML model in production☆10Aug 31, 2026Updated last month
- 🦘 Clangaroo: Fast C++ code intelligence for LLMs via MCP☆24Jan 25, 2026Updated 8 months ago
- Prepare content for surveys, and code/tools to analyze the results☆10Sep 29, 2022Updated 4 years ago
- Auto-generated NumPy Enhancement Proposals☆10Updated this week
- 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.
- 🏭 Production-ready codebase for training and evaluating large language models.☆27Updated this week
- Archive of documents related to the project governance and management☆15Oct 15, 2026Updated last week
- Efficient kernel for RMS normalization with fused operations, includes both forward and backward passes, compatibility with PyTorch.☆13Jun 5, 2024Updated 2 years ago
- Quick online tool for chess with features for composing problems and APIs.☆16Mar 23, 2026Updated 6 months ago
- This repository will be used to gather unconference topics and facilitate voting on topics for the NumFOCUS 2024 Project Summit.☆10Sep 4, 2024Updated 2 years ago
- ☆14Nov 15, 2024Updated last year
- A set of Jupyter Lab Notebooks and Other Implementations of Community Reports in Standard Form☆18Apr 15, 2024Updated 2 years ago
- JupyterCon Website☆14Mar 3, 2023Updated 3 years ago
- ☆15Updated 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.
- Content for the NumPy newsletter, which anyone can sign up for in the numpy.org footer☆15Jul 20, 2023Updated 3 years ago
- A tool to identify and analyze open-source repositories affiliated with universities using GitHub metadata and contributor analysis.☆16Jul 28, 2026Updated 2 months ago
- Conversations of the Carpentries community☆10May 30, 2022Updated 4 years ago
- Official Sarvam MCP server☆34Oct 8, 2026Updated 2 weeks ago
- GPU-Accelerated AI/ML Inference☆228Updated this week
- Author's implementation of the paper MOCHI: Motion Enhancement of Collaborative Human-object Interactions (SIGGRAPH 2026).☆20Jun 18, 2026Updated 4 months ago
- *best* music streaming app in my opinion☆13Oct 14, 2026Updated last week
- RV32I Open Source GPU☆15Feb 9, 2021Updated 5 years ago
- nimlint makes developing softer.☆17Feb 10, 2021Updated 5 years 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.
- Native Android port for Project Wormhole, an FTL engine implementation by ZNix☆62Updated this week
- ☆14Oct 14, 2026Updated last week
- curated links and customized materials to support biomedical researchers in implementing open science approaches☆12Feb 9, 2026Updated 8 months ago
- Tool for generating test data for chess move generators.☆21Mar 31, 2026Updated 6 months ago
- Policies, Configurations, and Documentation of NumFOCUS Managed Infrastructure☆16Updated this week
- ☆13Aug 3, 2026Updated 2 months ago
- ✅ Curated list of resources for college students☆10May 17, 2020Updated 6 years ago
- All-in-one Full-Featured Python/Flet/Flutter Application to make the most of all the latest Open-Source AI Art Generators in an intuitive…☆16May 30, 2025Updated last year
- A simple but instructive implementation of DP, TP, FSDP, FSDP+TP using pytorch distributed primitives☆24Apr 12, 2026Updated 6 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.
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 7 years ago
- QMML repo☆25Apr 8, 2024Updated 2 years ago
- A local MCP server that gives AI agents fast symbol search, call-graph traversal, and blast-radius analysis over your codebase.☆17Mar 7, 2026Updated 7 months ago
- Code companion for the RL Post-Training Handbook - training reasoning models on a single GPU☆20Jan 30, 2026Updated 8 months ago
- A handbook containing governance and a community and organization overview for pyOpenSci☆20Oct 6, 2026Updated 2 weeks ago
- ACROSS - Attributing Contributor Roles in Open Source Software☆23Apr 13, 2026Updated 6 months ago
- Port of OpenAI's Whisper model in C/C++☆16May 13, 2026Updated 5 months ago