⚙️ A curated list of dynamic analysis tools and linters for all programming languages, binaries, and more.

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

Moved to Codeberg

A jq clone focussed on correctness, speed, and simplicity

A modern GUI client based on Tauri, designed to run in Windows, macOS and Linux for tailored proxy experience

Optional static typing for Python

A "code intepreter" for Lean

LaTeX package for printing EBNF in plain text format

A new version of Soot with a completely overhauled architecture

Soot - A Java optimization framework

Connection provers in Rust

Use RMarkdown to generate PDF Conference Posters via HTML

Make posters from Markdown files.

Static tmux binaries

Trustix: Distributed trust and reproducibility tracking for binary caches [maintainer=@adisbladis]

A markup-based typesetting system that is powerful and easy to learn.

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

A text parser.

Python interface for SWI-Prolog

SWI-Prolog stable releases

Stand-alone programs for numerical analysis in OCaml

A LaTeX class for producing presentations and slides

The transitory OCaml software packager

🍻 Default formulae for the missing package manager for macOS (or Linux)