Easy PureScript (and other tools) with Nix
- nix
- purescript
47,133 repositories indexed
73–96 of 98 · Most stars
Easy PureScript (and other tools) with Nix
🤯 a new, powerful way to do bash scripts
Check if the process is running inside Windows Subsystem for Linux (Bash on Windows)
DWARF-aware eBPF tracer for source-level userspace tracing - Explore in a TUI or automate with a scriptable CLI
Python script that creates an iBeacon-compatible Bluetooth LE beacon using Linux and a Bluetooth LE adapter
Plugin for the Steam Deck, to adjust color settings, like saturation or gamma
Get the name of the current operating system. Example: macOS Sierra
Support for building npm packages in Nix and lightweight npm registry [maintainer=?]
Toolchains for crosscompiling with CMake.
Unofficial GroupMe App
The current repository contains all the scripts needed to build kernel-mode mac-a-mal malicious activity hooking on macOS.
Easily stash snippets of text and invoke them when needed
Manage your PureScript projects with Nix!
A few Linux tools and useful scripts.
:bell: the Notifier for OS X, Linux and Windows as TAP reporter
Unofficial but officially accepted esa app :bird:
Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
With a clear and graphically appealing GUI you can access the system deeply, overclock the Pi or replace the entire desktop environment. Everything you need to use the Pi as a desktop computer. PiGro does many commands that have to be entered via the terminal with one or two clicks of a button.
Promise-based HTML5 Filesystem API similar to Node.js fs module
A cross-platform installer creator
The repository host gives no description.
pglistend - A lightweight PostgreSQL LISTEN Daemon using Node.js/Systemd
A robust suite of tools for Omarchy/Hyprland to manage monitor power via keyboard shortcuts and laptop lid events.
Deno KV file system, compatible with Deno deploy. Saves files in 64kb chunks. You can organize files into directories. You can control the KB/s rate for saving and reading files, rate limit, user space limit and limit concurrent operations, useful for controlling uploads/downloads. Makes use of Web Streams API.