sullyj3
Follow
-
-
-
sand Public
A countdown timer daemon
-
rusty_audio Public
Forked from CleanCut/rusty_audioFun & easy audio playback library.
Rust UpdatedOct 27, 2025 -
niri Public
Forked from niri-wm/niriA scrollable-tiling Wayland compositor.
Rust GNU General Public License v3.0 UpdatedOct 23, 2025 -
-
-
crossterm Public
Forked from crossterm-rs/crosstermCross platform terminal library rust
Rust MIT License UpdatedJul 25, 2025 -
jjui Public
Forked from idursun/jjuiJujutsu UI (jjui) is a Text User Interface (TUI) designed for interacting with the Jujutsu version control system.
Go MIT License UpdatedJun 19, 2025 -
cache-effectful Public
Forked from Kleidukos/cache-effectfulBindings to the `cache` library for the Effectful ecosystem
Haskell MIT License UpdatedMay 12, 2025 -
-
A Git-compatible DVCS that is both simple and powerful
Rust Apache License 2.0 UpdatedMay 2, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMay 1, 2025 -
ante Public
Forked from jfecher/anteA safe, easy systems language
Rust MIT License UpdatedApr 30, 2025 -
interflow Public
Forked from SolarLiner/interflowUnified and opinionated audio I/O for Rust
Rust MIT License UpdatedApr 30, 2025 -
-
janet Public
Forked from janet-lang/janetA dynamic language and bytecode vm
C MIT License UpdatedApr 19, 2025 -
-
-
-
-
socket.lean Public
Forked from hargoniX/socket.leansockets for Lean 4
Lean MIT License UpdatedJul 24, 2024 -
-
-
-
-
devenv Public
Forked from cachix/devenvFast, Declarative, Reproducible, and Composable Developer Environments
Nix Apache License 2.0 UpdatedMay 1, 2024 -
-
linkclump Public
Forked from benblack86/linkclumpGoogle chrome extension that allows you to open multiple links at once.
JavaScript MIT License UpdatedApr 9, 2024 -
plaintextify Public
Fetch html from a list of urls, and output as plain text
Haskell Other UpdatedApr 4, 2024