MyNixOS website logo
package-set

Packages

Showing entries 14001-14100 out of 22568.
Small script to submit to Gradescope via GitHub
Lightweight tool for managing headers in source code files
Git mergetool leveraging code formatters
A Modular and Open Platform for Static Analysis using Abstract Interpretation
SAT solver binary based on the msat library
Simple tool which produces pretty-printed output from a Menhir parser file (.mly)
Simple cross-platform OCaml code editor built for top-level evaluation
I18n made easy for web sites written with eliom
Handle (un)installation from opam install files
Tool to ease contributions to opam repositories
Package manager for SATySFi
Tool that helps you create and manage static websites
Implementing a spatial model inspired by Material Shell, for i3 and sway
Stan compiler and utilities
Implementation of a tableau-based decision procedure for the full Alternating-time Temporal Logic …
Proxy Wayland connections across a VM boundary
ocbNix package
OpenTelemetry Collector
An advanced OpenComputers emulator
Cross-platform, easy to use, fast and functional audio editor
Command Line Interface for Oracle Cloud Infrastructure
ocisNix package
Next generation frontend for ownCloud Infinite Scale
OwnCloud Infinite Scale Stack
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorizat…
OpenCL ICD Loader for opencl-headers-2024.10.24
OpenCL device simulator and debugger
ocmNix package
CLI for the Red Hat OpenShift Cluster Manager
OpenConnect proxy
OCR-ANix package
ANSI OCR font from the '60s
ocradNix package
Optical character recognition (OCR) program & library
Complete Optical Character Recognition and Document Analysis and Recognition program
Adds an OCR text layer to scanned PDF files, allowing them to be searched
Wrapper for OCR systems that allows you to perform OCR on DjVu files
Open Collaboration System for use with DE store websites
ocservNix package
OpenConnect VPN server (ocserv), a server for the OpenConnect VPN client
OCSP responder fetching certificate status from MySQL/MariaDB database
Scientific Programming Language
octaveoctaveFullNix package
Scientific Programming Language
Github user information on terminal
Probabilistic, flexible, and compact 3D mapping library for robotic systems
Snappy web interface for your 3D printer
octopusoctopusNix package
Real-space time dependent density-functional theory code
octopusoctopus-callerNix package
Bayesian haplotype-based mutation calling
Static vulnerability scanner for GitHub action workflows
Commandline tool for joining, analyzing and transforming data from multiple databases and file for…
Advanced Github OSINT framework
Minimalistic crossplatform image viewer written in Rust
For converting between different versions of .dwg and .dxf
odamexNix package
Client/server port for playing old-school Doom online
oddjobNix package
Odd Job Daemon
Generate random JSON with no schemas involved
odeNix package
Open Dynamics Engine
Fast, concise, readable, pragmatic and open sourced programming language
odin2Nix package
Odin 2 Synthesizer Plugin
odoNix package
Developer-focused CLI for OpenShift and Kubernetes
odooodooNix package
Open Source ERP and CRM
odooodoo15Nix package
Open Source ERP and CRM
odooodoo16Nix package
Open Source ERP and CRM
odooodoo17Nix package
Open Source ERP and CRM
odpicNix package
Oracle ODPI-C library
Secure boot enabled boot loader for ODROID-XU{3,4}
Simple .odt
Scalable PostgreSQL connection pooler
oedNix package
Portable ed editor from OpenBSD
Advanced bitbake-recipe linter
offatNix package
Tool to test APIs for prevalent vulnerabilities
Collection of offensive tools targeting Microsoft Azure
Customized version of Source Code Pro
Synchronize emails between two repositories, so that you can read the same mailbox from multiple c…
Command-line and offline-first smolnet browser/feed reader
offrssNix package
Offline RSS/Atom reader
offzipNix package
Tool to unpack the zip data contained in any type of file
ofonoNix package
Infrastructure for building mobile telephony (GSM/UMTS) applications
Phone Simulator for modem testing
ogdfNix package
Open Graph Drawing Framework/Open Graph algorithms and Data structure Framework
ogenNix package
OpenAPI v3 Code Generator for Go
Toolbox for manipulating and creating Ogg video files
Tools for modifying and inspecting OGG media streams
ogracNix package
Like cargo, but backwards
3D Object-Oriented Graphics Rendering Engine
ogreogre_13Nix package
3D Object-Oriented Graphics Rendering Engine
Very nice animated wallpaper daemon for Wayland compositors
ohNix package
New Unix shell
Fish Shell Framework
Interactive Git learning game
Prompt theme engine for any shell
Framework for managing your zsh configuration
ohaNix package
HTTP load generator inspired by rakyll/hey with tui animation
Manage OpenID Connect tokens on the command line
Configurable Ident protocol server
Search-as-you-type cli frontend for the buku bookmarks manager using peco
oilrushNix package
Naval strategy game
Unix shell with JSON-compatible structured data
oils-for-unixoils-for-unixNix package
Unix shell with JSON-compatible structured data
oinkNix package
Dynamic DNS client for Porkbun
Object-oriented C++ input system
Okapi Library
Command Line Interface to interact with your OVHcloud KMS services
Generate a color palette from an image using k-means clustering in the Oklab color space
okshNix package
Portable OpenBSD ksh, based on the Public Domain Korn Shell (pdksh)