The Z3 Theorem Prover

🪚 A JavaScript code size optimizer based on abstract interpretation

An interpreter for Rust's mid-level intermediate representation

RTSP camera streams as cached HTTP JPEG snapshots

Your agent writes bad React. This catches it

A suite of plugins for legal workflows

FEEL parser and interpreter written in Scala

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

Go security checker

Use claude-code for free in the terminal, VSCode extension or discord like OpenClaw (voice supported)

Two-factor authentication for Symfony applications 🔐

The missing audit log library

💅 Beautiful and accessible drag and drop for lists with React. ⭐️ Star to support our work!

Auto generated skeleton loading framework

Generate calendars in the iCalendar format

Official electron build of draw.io

Open Source Identity and Access Management For Modern Applications and Services

ZITADEL - Identity infrastructure, simplified for you.

Push notification server

An open-source protocol enabling high-performance, local-first, peer-to-peer, end-to-end encrypted collaborative apps.

Official Anytype client for MacOS, Linux, and Windows

Create, browse, search and edit within Anytype - right at your fingertips, anywhere on your Mac.

Official Anytype client for iOS

Put your PHP8+ project on a diet by reducing total number of boilerplate code.

Symfony 6 / 7 bundle to support multi-tenants

A free open source IT asset / Equipment / management and scheduling system.

Analyzes resource usage and performance characteristics of running containers.

The Doctrine Persistence project is a library that provides common abstractions for object mapper persistence.

The PHP Interpreter