Event streaming platform for agents, apps, and analytics. Continuously ingest, transform, and serve event data in real time, at scale.
Open-source developer platform to power your entire infra and turn scripts into webhooks, workflows and UIs. Fastest workflow engine (13x vs Airflow). Open-source alternative to Retool and Temporal.
Open-source serverless enterprise CMS. Includes a headless CMS, page builder, form builder, and file manager. Easy to customize and expand. Deploys to AWS.
YDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transactions
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
Event Driven Orchestration & Scheduling Platform for Mission Critical Applications
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
