zenith-bot

The Common Metadata Repository (CMR) is a high-performance, high-quality, continuously evolving metadata system that catalogs Earth Science data and associated service metadata records. These metadata records are registered, modified, discovered, and accessed through programmatic interfaces leveragi

An R package for discovering and using data through the safedata system

Trending open-source repository: google-research/harness2

Python library for analyzing, simulating, and visualizing discrete-time Markov chains and hidden Markov models.

An s-expression language pairing Kernel-style dynamism with static types: restricted dependent types, erased/many/unique multiplicities, termination checking, memory location tracking, and LLMs as intended authors. Self-hosts to OCaml.

A structural variation pipeline for short-read sequencing

Quantum Refinement Module

An agent skill for creating detailed, interactive isometric illustrations of real-world machines and complex systems. Generates polished SVGs with optional WebGL shaders and 3D effects.

Machine Learning Open Source University

An open-source, clean-room reimplementation of Microsoft Word in pure Rust

A Lean library for Quillen K-theory and related mathematics.

Alternating bundles and analytic descent: the paper and its Lean 4 / Mathlib formalization

symbolic math engine written in c/c++

Autonomous Symbolic Theorem Reasoning Architecture

CUDA acceleration for Trixi.jl

An open-source, clean-room reimplementation of Adobe Lightroom in pure Rust.

Quantum information and channels, formalized in Lean 4: quantum states and entanglement theory, channel representations, Kadison-Schwarz theory, quantum Perron-Frobenius and spectral theory, GKSL semigroups, and entropy, following Wolf's Quantum Channels & Operations

Fast HTML documentation for Lean 4 packages — built for the ones standing on Mathlib

Trusted base of definitions, schemas, and verification artifacts for the Unified Rigidity Framework

F Prime Prime: A modeling language for F Prime