Benjamin Levy's starred repositories
revanced-manager
💊 Application to use ReVanced on Android
curlconverter
Transpile curl commands into Python, JavaScript and 27 other languages
libfaketime
libfaketime modifies the system time for a single application
revanced-patcher
💉 ReVanced Patcher used to patch Android applications
nix-installer
Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.
nixos-generators
Collection of image builders [maintainer=@Lassulus]
nixos-anywhere
install nixos everywhere via ssh [maintainer=@numtide]
hermit
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
NixThePlanet
Run macOS, Windows and more via a single Nix command, or simple nixosModules
magic-nix-cache-action
Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.
rnix-parser
A Nix parser written in Rust [maintainer=@oberblastmeister]
nix-flatpak
Install flatpaks declaratively
abstract-algorithm
Optimal evaluator of λ-calculus terms.
magic-nix-cache
Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.
update-flake-lock
Automatically refresh your Nix Flakes.
tex-oberon
Make Project Oberon Pretty Again
nix-installer-action
The Github Action for the Determinate Nix Installer
typed-path
Provides typed variants of Path and PathBuf for Unix and Windows
metamath-lamp
Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
nixos-framework-led
NixOS module for changing the LED color on Framework laptops