Implements group theory in Python

A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

The Python programming language

Code to automatically prove or verify estimates in analysis

Modern healthcare clinical data repository. Built for performance and scale.

Community maintained fork of pdfminer - we fathom PDF

An extremely fast Python linter and code formatter, written in Rust.

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

A generic visualization tool for spectral sequence data

Snowflake CLI is an open-source command-line tool explicitly designed for developer-centric workloads in addition to SQL operations.

Snowflake Connector for Python

Snowflake Snowpark Python API

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

A markup-based typesetting system that is powerful and easy to learn.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.