Mirror of https://gitlab.redox-os.org/redox-os/redox
- redox
- rust
- microkernel
- operating-system
47,133 repositories indexed
25–48 of 133 · Most stars
Mirror of https://gitlab.redox-os.org/redox-os/redox
The Rust package manager
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
A new way to see and navigate directory trees
ElKowars wacky widgets
Developer-friendly OSS embedded retrieval library for multimodal AI. Search More; Manage Less.
VectorCraft: An open-source, vector art tool written by scratch in pure Rust
💥 Fast State-of-the-Art Tokenizers optimized for Research and Production
open source training courses about distributed database and distributed systems
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
The fast, precise document-intelligence engine for every language: text, tables and metadata from 100+ formats, with OCR, transcription and code intelligence.
Translated青简 Qingjian ("green bamboo slips"): a pinyin input method written in Rust, with an extra translated word in the language you are learning shown next to each candidate word
A fast type checker and language server for Python
Format Rust code
Generate compile_commands.json for any C or C++ build
Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.
mouse & keyboard sharing via LAN
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Safe Rust bridge for creating Erlang NIF functions
Build Postgres Extensions with Rust!
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Native PostgreSQL driver for the Rust programming language
The Rust package registry