A new type of shell
Updated 2024-07-04 00:02:13 +03:00
Scan Nix files for dead code
Updated 2024-07-03 22:21:23 +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
🌟 For when you really just want to serve some files over HTTP right now!
Updated 2024-07-03 15:55:07 +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, OpenGL terminal emulator.
Updated 2024-07-02 22:14:25 +03:00
A cross-platform GUI library for Rust, inspired by Elm
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.
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.
Updated 2024-07-02 16:39:13 +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 ⛰️
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