The Rust package manager

Lean 4 programming language and theorem prover

A powerful multi-featured userbot on Telegram.

Track, log and schedule your everyday tasks.

First ZK project built on TON blockchain, based on 🌪 Cash

Open Source Identity and Access Management For Modern Applications and Services

Building a modern alternative to Salesforce, powered by the community.

ai-generated apps , full stack + generative UI

The Rust Programming Language Book (Persian Translation)

The Rust Reference

The Dark Arts of Advanced and Unsafe Rust Programming

Tabnine Client for Neovim

The most widely used, high performance Minecraft server that aims to fix gameplay and mechanics inconsistencies

An open-source & self-hostable Heroku / Netlify / Vercel alternative.

FastStream is a powerful and easy-to-use Python framework for building asynchronous services interacting with event streams such as Apache Kafka, RabbitMQ, NATS and Redis.

An open-source, lightweight note-taking solution. The pain-less way to create your meaningful notes. Your Notes, Your Way.

High performance HTML and CSS renderer powered by WGPU

“Zero setup” cross compilation and “cross testing” of Rust crates

TextGrad: Automatic ''Differentiation'' via Text -- using large language models to backpropagate textual gradients.

DSPy: The framework for programming—not prompting—foundation models

AdalFlow: The library to build & auto-optimize LLM applications.

Scheduling infrastructure for absolutely everyone.

The Mullvad VPN client app for desktop and mobile

Free and Open source Web Builder Framework. Next generation tool for building templates without coding

📷 Create beautiful images of your source code

LLM based autonomous agent that conducts local and web research on any topic and generates a comprehensive report with citations.

Documentation site for Yazi.

A collection of LS_COLORS definitions; needs your contribution!

yazi theme based converting colors from LS_COLORS by trapd00r