Showing 1161-1180 of 1,661 projects
Creusot helps developers prove their Rust code is correct using automated formal verification.
A C++ programmer's guide to undefined behavior for developers focused on AI coding tools and vibe coders.
This project provides a deep dive into the Rust standard library, helping developers understand its internals.
An open-source headless CMS and real-time database with powerful table editor, search, and SDKs for JavaScript, React, and Svelte.
A terminal-based, real-time traffic monitoring and statistics tool for AdGuard Home.
A Rust library for building advanced keyboard firmware with features like layers, macros, wireless, and split support.
Tonbo is an embedded database for serverless and edge runtimes, optimized for offline-first and big data use cases.
A tiny Skia subset ported to Rust for efficient 2D graphics rendering.
Lightweight, event-driven WebSockets for Rust developers building real-time applications.
A fast and friendly HTTP client framework for asynchronous Rust development.
A fast, minimalist directory tree viewer written in Rust for developers who need a lightweight CLI tool.
A Rust implementation of the HTTP/2 protocol for building fast and scalable web applications.
An open-source, lightweight Rust-based alternative to Open WebUI, focused on reducing memory and resource usage.
Heimdall is an advanced EVM smart contract toolkit for bytecode analysis and information extraction.
A terminal-based typing test written in Rust for developers who enjoy CLI-based tools.
A Rust-based tool for generating Material You color schemes for various platforms.
NativeLink is an open source high-performance build cache and remote execution server for build systems like Bazel and Pants.
A FUSE filesystem for accessing your Google Calendar from the command line.
The Rust Reference is a comprehensive documentation resource for the Rust programming language.
A cross-platform messaging client with one-to-one chat, group chat, file transfer, calling, and screen recording.
Get weekly updates on trending AI coding tools and projects.