Skip to content

Chat Wiki Docs Mailing lists Find projects Catalog

Theme

Language

Live chat for Free Pascal, Lazarus, Delphi and every Pascal programmer.

Catalog

30,057 projects in the catalog.

Free Pascal, Lazarus and Delphi components, libraries and programs from GitHub, SourceForge, Codeberg, GitLab and more. Rate them, mark what looks interesting, and talk about them on their benches.

Random project How the catalog works

All Components Applications Other

Search names, summaries and topics Category

More filters

Source Kind Works with Status Sort by Clear filters

Active projects have a push in the last two years. Quiet projects have an older push. Projects without a push date have unknown status. Archived projects are marked separately.

Z34Delphi

The Z3 Theorem Prover bindings for Delphi

Active
Library
Delphi
GitHub
★ 11
MIT
9-24-2026

Z3Pas

A Pascal-friendly, Python-inspired API for the Z3 SMT solver

Active
Library
Lazarus
GitHub
★ 1
MIT
12-12-2025

Free software, written in Free Pascal.