A vulnerability scanner for container images and filesystems

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.

openDAW is a next-generation web-based Digital Audio Workstation (DAW)

Byzantine Majority Greek New Testament text edited by Robinson and Pierpont, with morphological parsing tags and Strong's numbers

The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

Yet another modal editing on Emacs / 猫态编辑

An open-source AI agent that brings the power of Gemini directly into your terminal.

The official home of the Presto distributed SQL query engine for big data

Rust crate for Substrait: Cross-Language Serialization for Relational Algebra

Beautiful, Modern & Opinionated Linux

An opinionated NixOS config based on DHH's Omarchy

Cardano Data Node

Rust-native building blocks for the Cardano blockchain ecosystem

Apache Kafka® compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lake

PROST! a Protocol Buffers implementation for the Rust Language

Multi-language serialization library

Kotlin Evolution and Enhancement Process

A declarative, efficient, and flexible JavaScript library for building user interfaces.

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

Fullstack app framework for web, desktop, and mobile.

The world's fastest open query engine for sub-second analytics both on and off the data lakehouse. With the flexibility to support nearly any scenario, StarRocks provides best-in-class performance …

gRPC and protocol buffers for Android, Kotlin, Swift and Java.

Inno Setup is an open-source installation builder for Windows applications by Jordan Russell and Martijn Laan. Since its introduction in 1997, Inno Setup has been trusted by developers and organiza…

A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

Apache DataFusion Ballista Distributed Query Engine

Type-safe event sourcing system for Haskell

Apache Ignite

Hobby functional programming language

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.