Showing entries 15201-15300 out of 25014.
GTK3-based greeter for the greetd daemon, written in python
GTK icon chooser with a text search option
GTK-based launchers: application grid, button bar, dmenu for sway and other window managers
GTK settings editor, designed to work properly in wlroots-based Wayland environment
MenuStart plugin for nwg-panel
GTK3-based panel for Sway window manager
Securely erase disks
App runtime based on Chromium and node.js
App runtime based on Chromium and node.js
App runtime based on Chromium and node.js
NX X server based on Xnest
Convert Nintendo Switch executable files to ELFs
Network Execution Toolkit
Domain (ad) block list creator
Client program for dumping over USB with nxdumptool
Complete open-source clone/rewrite of the masterpiece jump-and-run platformer Doukutsu Monogatari …
Freescale/NXP I.MX chip image deploy tools
Find any version of any Nix package instantly
Desktop Client for Nx Witness Video Systems
Tui tool for browsing and downloading torrents
Typesafe hierarchical key-value database
Nyancat in your terminal, rendered through ANSI escape sequences
Proxy server, supporting SOCKS 4 and 5, as well as a mirror mode
Mixnet providing IP-level privacy
Command-line monitor for Tor
Infinitely extensible web-browser (with Lisp development files using WebKitGTK platform port)
Command line tool for downloading files from news servers
Usenet meta search
Call of Duty: Zombies demake, powered by various Quake sourceports (PC version)
Expressive, simple, dynamic programming language
Tool to interact with Luxonis OAK4 cameras
Header-only library that allows one to dynamically assemble code in-memory at runtime
OAuth credential MAnager
Go client and server OpenAPI 3 generator
Tool to convert OpenAPI specifications (Swagger 2.0/OpenAPI 3.x) to self-contained HTML documentat…
Components for building one-time password authentication systems
Identity and access proxy that authorizes HTTP requests based on sets of rules
Light and powerful C++ web framework for highly scalable and resource-efficient web applications
Reverse proxy that provides authentication with Google, GitHub, or other providers
User-friendly OAuth2 CLI
Simple CLI for interacting with Google API authentication
XOAUTH2 compatible Office365 token fetcher
Virtual analog synthesizer plug-in inspired by the Oberheim OB-X
OpenVR bindings TUI for xrizer, VapoR and OpenComposite
GUI configuration tool for openbox
Diagnose problems, reset the Check Engine Light, and monitor your car's performance with ease
Emulator for the Oberon RISC machine
Library and tool to access files on OBEX-based devices (such as Bluetooth phones)
Circumvents censorship by transforming Tor traffic between clients and bridges
Management of analyses and data in DNA metabarcoding
Command line tool for manipulating Wavefront OBJ 3D meshes
Converts OBJ files to OGC 3D tiles by performing splitting, decimation and conversion
Object and executable file converter, modifier and disassembler
Local diffing tool for decompilation projects
Runtime mobile exploration toolkit, powered by Frida
Portable framework for the Objective-C language
Ablation Suite for HuggingFace transformers
Simple flashcards application for the COSMIC™ desktop written in Rust
Command-line remote control for OBS
Minimal CLI to control OBS Studio via obs-websocket
CLI for common OBS operations while streaming using WebSocket
Free and open source software for video recording and live streaming
Headless browser for AI agents and web scraping
Powerful knowledge base that works on top of a local folder of plain text Markdown files
Rust library and CLI to export an Obsidian vault to regular Markdown
Headless client for Obsidian Sync and Obsidian Publish
Simple package build system for OCaml
OCaml is an industrial-strength programming language supporting functional, imperative and object-…
Generic OCaml Makefile for GNU Make
A tool to build Makefiles for OCaml projects
Unix-platform DVI previewer and a programmable presenter for slides written in LaTeX
A CP solver for smtlib
Minimalistic secure XMPP client in OCaml
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Auto-formatter for OCaml code
Curses-based RPN calculator
Statically-typed, functional typesetting system
Efficient implementation of the Lambda Prolog language
Functional programming language based on algebraic effects and their handlers
Auto-formatter for OCaml code
Auto-formatter for OCaml code
ML-like functional programming language aimed at program verification
Symbolic execution for Wasm, C, C++, Rust and Zig
A constraint solver based on abstract domains from the theory of abstract interpretation
High-performance theorem prover and SMT solver
High-performance theorem prover and SMT solver
Modal Homotopy Type System
Functional language for reasoning about formal systems
Tool for searching and changing code structure