Build smaller, faster, and more secure desktop and mobile applications with a web frontend.

A cross-platform, OpenGL terminal emulator.

Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs

Rust / Wasm framework for creating reliable and efficient web applications

A command-line benchmarking tool

Blazing 💥 fast terminal-ui for git written in rust 🦀

Spotify for the terminal written in Rust 🚀

Rust bindings for the Python interpreter

All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).

Fast and multi-platform Spotify client with native GUI

peer-2-peer that just works

Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available

Mirror of https://gitlab.com/verso-browser/verso

A fast, friendly, functional language.

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Borgo is a statically typed language that compiles to Go.

A static, type inferred and embeddable language written in Rust.

Better configuration for less

(Mirror) S3-compatible object store for small self-hosted geo-distributed deployments. Main repo: https://git.deuxfleurs.fr/Deuxfleurs/garage

A tree-sitter based AST difftool to get meaningful semantic diffs

A fast, secure, and portable multichain light client for Ethereum

A tacit array programming language

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

A simple, stateless NixOS deployment tool

A simple multi-profile Nix-flake deploy tool.

A toolbox for zkSNARKs on Ethereum

A model checker for implementing distributed systems.

Emerging smart contract language for the Ethereum blockchain.

A fast, simple TUI for interacting with systemd services and their logs

egg is a flexible, high-performance e-graph library