linera-io / linera-protocol
Main repository for the Linera protocol
See what the GitHub community is most excited about this week.
Main repository for the Linera protocol
Lightweight coding agent that runs in your terminal
Tunnel all your traffic over Websocket or HTTP2 - Bypass firewalls/DPI - Static binary available
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
Anki is a smart spaced repetition flashcard program
Cross-platform Rust rewrite of the GNU coreutils
An incremental parsing system for programming tools
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
3D Reconstruction for all
FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications
Build fast web applications with Rust.
A safe, extensible ORM and Query Builder for Rust
Comfortably monitor your Internet traffic 🕵️♂️
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
A new way to see and navigate directory trees : https://dystroy.org/broot
Clash Nyanpasu~(∠・ω< )⌒☆
Empowering everyone to build reliable and efficient software.
The user-friendly command line shell.
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.
GlazeWM is a tiling window manager for Windows inspired by i3wm.
A scrollable-tiling Wayland compositor.
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.