My NixOS configuration.
☆20Jan 20, 2026Updated last month
Alternatives and similar repositories for ark
Users that are interested in ark are comparing it to the libraries listed below
Sorting:
- ☆11Nov 18, 2024Updated last year
- Hacks helping with semi-almost-usable declarative NixOS sandboxing☆12Aug 14, 2024Updated last year
- Mission: Decentralize the Internet☆11Aug 24, 2023Updated 2 years ago
- Rust crate for obfuscating string literals.☆12Feb 2, 2023Updated 3 years ago
- a nicer booru browser☆24May 17, 2024Updated last year
- Desktop client for Harmony protocol.☆14Feb 11, 2022Updated 4 years ago
- ☆14Updated this week
- A Nix flake to install Discord with Powercord☆13Sep 30, 2022Updated 3 years ago
- Dead-simple protobuf-based RPC system.☆24Mar 10, 2022Updated 3 years ago
- The Frontend of Everything☆21Updated this week
- Generate Nix Flakes imperatively.☆20Nov 28, 2023Updated 2 years ago
- A Rust library for interacting with multiple Polyphony- and Spacebar-Compatible instances at once.☆26Jan 2, 2026Updated 2 months ago
- hRPC implementation in Rust.☆24Apr 30, 2022Updated 3 years ago
- TypeScript pattern match function for any discriminated union type☆33Aug 23, 2025Updated 6 months ago
- Literally just my "dotfiles" (except most don't even have dots in front of them). Not interesting, but 'kay.☆28Mar 18, 2021Updated 4 years ago
- The schemas for the Harmony protocol☆22Oct 5, 2023Updated 2 years ago
- Node library to automate Chromium, Firefox and WebKit browsers☆12Updated this week
- Language Server Protocol implementation for nushell☆31Oct 13, 2023Updated 2 years ago
- Never lose your favorite avatars in VRChat!☆12Jun 9, 2024Updated last year
- A small and lightweight server for Harmony☆29Mar 2, 2023Updated 3 years ago
- ☆38Dec 23, 2025Updated 2 months ago
- [UNMAINTAINED] lightweight NixOS images☆46Aug 3, 2024Updated last year
- ☆11Jul 15, 2023Updated 2 years ago
- ☆36Apr 18, 2023Updated 2 years ago
- Sends all windows notifications to XSOverlay☆36Feb 23, 2024Updated 2 years ago
- Trying to make bitmap web fonts look better.☆38Jan 23, 2023Updated 3 years ago
- Godot community health files☆12Apr 30, 2024Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A python package for manipulating complex Turkish suffixes.☆10Jan 29, 2024Updated 2 years ago
- Ontologies and Semantic Knowledge Representation in the Domain of Materials Science and Engineering☆11Oct 22, 2020Updated 5 years ago
- Apache Airflow☆11Oct 30, 2025Updated 4 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Updated this week
- Log based streaming subsystem for RabbitMQ☆49Updated this week
- The modern desktop environment for everyone on anything☆47Jan 1, 2025Updated last year
- twtxt registry server☆16Aug 3, 2023Updated 2 years ago
- ☆16Jun 27, 2024Updated last year
- A Tribes 2 server with competitive features that is also open-source.☆11Jan 5, 2026Updated last month
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week