The math library of Lean 4

🌿 Powerful and seamless HTML-aware ERB toolchain.

🤖 Just a command runner

Tensors and Dynamic neural networks in Python with strong GPU acceleration

An extremely fast Python package and project manager, written in Rust.

Empowering everyone to build reliable and efficient software.

The repo is finally unlocked. enjoy the party! The fastest repo in history to surpass 100K stars ⭐. Join Discord: https://discord.gg/5TUQKqFWd Built in Rust using oh-my-codex.

🏆 The Best Pagination Ruby Gem 🥇

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Debugging functionality for Ruby

Run your GitHub Actions locally 🚀

Copilot Chat extension for VS Code

Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].

Visual Studio Code

Fast, easy and reliable testing for anything that runs in a browser.

Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.

Lean 4 programming language and theorem prover

Cross-platform lib for process and system monitoring in Python

Production-grade client-side tracing, profiling, and analysis for complex software systems.

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

The Python programming language

Toolbox for molecular animations in Blender, powered by Geometry Nodes.

Your favorite Terminal Coding Agent, now in Rust & a Breakdown of the Claude Code leak & discoveries

Telegram Bot API for NodeJS

Windows Subsystem for Linux

A modern alternative to ls

Official mirror of Blender

A comprehensive (SI) units package for LaTeX

Network Analysis in Python

match command-line arguments to their help text