A cross-platform, OpenGL terminal emulator.

A simple, fast and user-friendly alternative to 'find'

Adds static typing to JavaScript to improve developer productivity and code quality.

Distributed transactional key-value database, originally created to complement TiDB

Mirror of https://gitlab.redox-os.org/redox-os/redox

🌀 A nonsense activity generator

An experimental next-generation Electron-based text editor

Safe OpenGL wrapper for the Rust language.

Language Server Protocol (LSP) support for vim and neovim.

A Doom Renderer written in Rust.

Peer-to-peer VPN

SIMD for humans

Framework for writing Linux kernel modules in safe Rust

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]

Data deduplication engine, supporting optional compression and public key encryption.

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

The open source design documentation tool for everybody

Serverless (offline-first, merge-friendly) Information Tracker

A TCP/TLS load balancer for Linkerd 1.x.

Visualise which gc-roots to delete to free some space in your nix store

Validate the isolation posture of your container environment.

[DEPRECATED] password manager thing

a framework for traffic analysis defenses

PostgreSQL/SQLite/MySQL migration tool in rust

NixOS cluster configuration tool