A new type of shell
Updated 2024-07-04 00:02:13 +03:00
An experimental new runtime for Urbit
Updated 2024-07-03 20:59:51 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-03 19:02:14 +03:00
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Updated 2024-07-03 19:02:14 +03:00
Twitch chat in the terminal.
Updated 2024-07-03 11:34:59 +03:00
🐢 Magical shell history
Updated 2024-07-03 10:24:05 +03:00
A cross-platform GUI library for Rust, inspired by Elm
starred-repo
rust
elm
graphics
gui
user-interface
widgets
interface
renderer-agnostic
toolkit
widget
starred-iced-rs-repo
Updated 2024-07-02 20:01:40 +03:00
⭐️ A friendly language for building type-safe, scalable systems!
Updated 2024-07-02 19:26:41 +03:00
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
starred-repo
rust
linux
terminal
tui
macos
windows
file-manager
concurrency
asyncio
yazi
starred-sxyazi-repo
Updated 2024-07-02 18:08:54 +03:00
Health checks for your Nix flakes
Updated 2024-07-02 17:54:49 +03:00
Customisable gtk-layer-shell wlroots/sway bar written in rust.
starred-repo
rust
wayland
gtk
desktop
wlroots
sway
hyprland
bar
gtk-layer-shell
starred-jakestanger-repo
Updated 2024-07-02 16:39:13 +03:00
🌠 Manage your shell commands.
starred-repo
rust
command-line
command-line-tool
daemon
hacktoberfest
queue-manager
queue-tasks
shell-queue
starred-nukesor-repo
Updated 2024-07-02 13:30:55 +03:00
not really known
Updated 2024-07-02 13:09:47 +03:00
A post-modern modal text editor.
Updated 2024-07-02 11:36:29 +03:00
A scrollable-tiling Wayland compositor.
Updated 2024-07-02 11:30:39 +03:00
A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️
starred-repo
rust
hacktoberfest
changelog
changelog-generator
commit
conventional-changelog
conventional-commits
generator
keepachangelog
semver
starred-orhun-repo
Updated 2024-07-02 01:51:50 +03:00
An incremental parsing system for programming tools
Updated 2024-07-02 00:58:24 +03:00