YHacker News

Frama-C frama-c.com ↗

A platform for analysis and verification of C source code using ACSL annotations.

ToolDev toolsformal-verificationcstatic-analysis

Screenshot of frama-c.com, Frama-C's site

Captured

Recommended in 1 thread

  • Formalizing CPython

    broyojo.com ·

    Suggested to verify the actual CPython C runtime directly rather than an AI translation.

Similar tools

  • ASDF ↗Dev tools

    The standard build and system definition facility for Common Lisp.

    1 thread
  • Tangled ↗Dev tools

    A federated code forge.

    3 threads
  • Verus ↗Dev tools

    A tool for verifying the correctness of Rust code.

    2 threads
  • RecordStream ↗Dev tools

    A set of Unix-style command-line tools that operate on streams of JSON records.

    1 thread
  • Aeneas ↗Dev tools

    A toolchain that translates safe Rust programs into proof assistants like Lean for verification.

    1 thread
  • Metamath ↗Dev tools

    A minimal formal proof language and database of formalized mathematics.

    1 thread
  • TOML Dev tools

    A minimal configuration file format with typed values and tables.

    1 thread
  • CBMC Dev tools

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

    1 thread

Also in Dev tools

  • 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

Link from a commenter, not checked or endorsed by us: ↗ https://www.frama-c.com/