CBMC

A bounded model checker for C and C++ programs.

ToolDev toolsformal-verificationmodel-checkingc

Recommended in 1 thread

C++26 Disapproved
andreasfertig.com · 10 days ago
Used with custom macros to get compositional formal verification in C.

Alloy ↗Dev tools
A lightweight formal modeling language and analyzer for software designs.
1 thread
DDEV ↗Dev tools
A Docker-based local development environment tool.
1 thread
Cecli Dev tools
A terminal coding assistant described as the successor to Aider.
1 thread
TLA+ Dev tools
A formal specification language by Leslie Lamport for designing and checking systems.
1 thread
cooked ↗Dev tools
A tool that allocates a pty and dynamically handles line-mode versus full-screen programs.
1 thread
CSharpRepl ↗Dev tools
A command-line C# REPL.
1 thread
yt-dlp ↗Dev tools
A command-line tool for downloading video and audio from YouTube and other sites.
3 threads
Metamath ↗Dev tools
A minimal formal proof language and database of formalized mathematics.
1 thread

Pi ↗
An extensible terminal coding agent that can switch between models.
11 threads
Forgejo ↗
A self-hostable community-driven software forge.
9 threads
OpenCode ↗
An open-source terminal coding agent harness.
9 threads
herdr ↗
A tool to run multiple agents on one project in separate git worktrees.
6 threads
Claude Code ↗
Anthropic's terminal-based coding agent harness.
5 threads
F-Droid ↗
An app store distributing free and open-source Android apps.
4 threads
Radicle ↗
A peer-to-peer code collaboration stack built on Git.
4 threads
Aurora Store ↗
An open-source alternative client for downloading apps from Google Play.
3 threads
Flux ↗
A refinement type checker for Rust.
3 threads
GitLab ↗
A Git hosting and DevOps platform with an open-source community edition.
3 threads
Gitea ↗
A lightweight self-hosted Git service.
3 threads
Jujutsu ↗
A version control system that can use git as a storage backend.
3 threads