logos

A scalable, distributed, collaborative, document-graph database, for the realtime web

Adds static typing to JavaScript to improve developer productivity and code quality.

Turso is an in-process SQL database, compatible with SQLite.

Relay is a JavaScript framework for building data-driven React applications.

CUDA on non-NVIDIA GPUs

Data Agent Ready Warehouse : One for Analytics, Search, AI, Python Sandbox. — rebuilt from scratch. Unified architecture on your S3.

The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Build system, successor to Buck

LR(1) parser generator for Rust

A fast and powerful log viewer and processor that converts JSON logs or logfmt logs into a clear human-readable format.

The software powering Stoat

A portable accelerated SQL query, search, and LLM-inference engine, written in Rust, for data-grounded AI apps and agents.

An implementation of the Language Server Protocol for LaTeX

CLI and Rust libraries for low-level manipulation of WebAssembly modules

SPARQL graph database

🚀 The open-source, multi-tenant platform for self-building knowledge graphs and simulation

Implementation of the Cedar Policy Language

A Rust implementation of the Starlark language

eilmeldung is a TUI RSS reader based on the awesome news-flash library.

A language server implementation for WGSL and WESL

Mermaid.js, but headless, in Rust.

Language tooling for the Lox programming language.

Structured Text Parser and LLVM Frontend

Modern plain text accounting. Beancount compatible.

Solidity compiler tooling by @NomicFoundation

A SQL transformation engine that type-checks your whole pipeline and catches breaking changes before they run — branches, replay, column-level lineage, compile-time contracts, per-model cost. Adapters: Databricks, Snowflake, BigQuery, DuckDB. Single static Rust binary. Apache 2.0.

Run, Build, Share your AI Packs

WebAssembly Composition (WAC) tooling

Typesafe language bindings generator for the Tauri IPC bridge

A bioinformatics workflow engine built on top of the Workflow Description Language (WDL).

The compiler for the Claw language

A framework agnostic fastest and beautiful documentation & markdown tooling

Native Rust USD library

An AI-native multi-model database unifying SQL, vector, full-text, graph, and sandboxed Python — for transactional, analytical, and agent workloads.

kubectl debugging plugin to collect full or partial cluster state and serve via an api server. Kubernetes time machine

Prototype Rust-based SoftPLC

Navigating around TUM with excellence – A website and API to search for rooms, buildings and other places

ARCH hardware description language and compiler

Sam's Programming Language

A toolkit for building telemetry data planes in Rust.

A package manager for SysML v2 and KerML

A fast, statically-typed interpreted language that blends Rust-like syntax with Python's ease of use. 2-10x faster than Python, with type inference, monomorphization, and constant folding.

Minimal examples of crates useful for compiler development

Basel Haskell Compiler - A next-generation Haskell compiler and runtime for 2026

sparse ternary AI stack enabling efficient frontier intelligence without hyperscaler-scale infrastructure.

An ETL web tool to build and run automated workflows. Calculate and convert various data.