A terminal workspace with batteries included
- workspace
- terminal
- multiplexer
Repository Index
47,133 repositories indexed
1–21 of 21 · Most stars
Algorithm powering the For You feed on X
Blazing 💥 fast terminal-ui for git written in rust 🦀
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
- static
- site-generator
- rust
- tera
Mirror of https://gitlab.redox-os.org/redox-os/redox
- redox
- rust
- microkernel
- operating-system
A lightweight and high-performance reverse proxy for NAT traversal, written in Rust. An alternative to frp and ngrok.
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
- rust
- lint
Feature packed AUR helper
- hacktoberfest
- paru
- aur-helper
- pacman
2D and 3D physics engines focused on performance.
Private front-end for Reddit
- privacy
- privacy-friendly-alternatives
- privacy-frontend
- rust
A Lua code formatter
- lua
- formatter
- pretty-printer
- printer
Mirror of https://gitlab.redox-os.org/redox-os/ion
A standalone Luau runtime
- cli
- luau
- scripting
A simple gtk4/libadwaita software center to easily install and manage nix packages
Rust crate to implement a counterpart to the PBRT book's (3rd edition) C++ code. See also https://www.rs-pbrt.org/about ...
A libadwaita/gtk4 app for editing NixOS configurations
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
Is my mod on Horizon? Type a name or drop your whole pack and every mod gets one plain answer: built in, ported, works or not yet. What works installs in one click.
- curseforge
- fabric
- horizon
- minecraft-mods
Draft cube shuffle utility
- magic-the-gathering
- mtg
- card-game
- shuffle
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
🔥 n01d-forge - Secure Cross-Platform Image Burner with Encryption | LUKS, VeraCrypt, Secure Erase, Hash Verification
- bootable-usb
- cross-platform
- encryption
- etcher-alternative