Stars
A minimalist production ready plugin system
Git extensions to provide high-level repository operations for Vincent Driessen's branching model.
Fast, light, simple Docker containers & Linux machines
PyMuPDF is a high performance Python library for data extraction, analysis, conversion & manipulation of PDF (and other) documents.
A high-performance observability data pipeline.
Access a database of word frequencies, in various natural languages.
Manage your dotfiles across multiple diverse machines, securely.
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
Haptic input knob with software-defined endstops and virtual detents
Free monospaced font with programming ligatures
Converting textual process description to BPMN diagrams
MiniJinja is a powerful but minimal dependency template engine for Rust compatible with Jinja/Jinja2
An extremely fast Python package and project manager, written in Rust.
BAML is a language that helps you get structured data from LLMs, with the best DX possible. Works with all languages. Check out the promptfiddle.com playground
A database migrations tool for SQLAlchemy.
Provides benchmarking scripts for assessing genAI pipelines that can transform business process models into text and vice versa.
ScreenQA dataset was introduced in the "ScreenQA: Large-Scale Question-Answer Pairs over Mobile App Screenshots" paper. It contains ~86K question-answer pairs collected by human annotators for ~35K…
React components to build charts and dashboards
✨ Innovative and open-source visualization application that transforms various data formats, such as JSON, YAML, XML, CSV and more, into interactive graphs.
pgAdmin is the most popular and feature rich Open Source administration and development platform for PostgreSQL, the most advanced Open Source database in the world.
Open-source vector similarity search for Postgres
A tool for generating code base on an OpenAPI schema.
TradeMaster is an open-source platform for quantitative trading empowered by reinforcement learning 🔥 ⚡ 🌈
Lean 4 programming language and theorem prover