| haskellPackages.mathblog | A program for creating and managing a static weblog with LaTeX math and diagrams |
| haskellPackages.hsfacter | A small and ugly library that emulates the output of the puppet facter program |
| easycrypt-runtest | Testing program for EasyCrypt formalizations |
| haskellPackages.stack-network | A program for extending Stack to add distributed capabilities |
| haskellPackages.pixel-printer | A program for turning pixel art into 3D prints |
| haskellPackages.canteven-log | A canteven way of setting up logging for your program |
| jugglinglab | Program to visualize different juggling pattens |
| haskellPackages.on-demand-ssh-tunnel | Program that sends traffic through SSH tunnels on-demand |
| haskellPackages.conlogger | A logger for a concurrent program |
| haskellPackages.monad-skeleton | Monads of program skeleta |
| pgformatter | PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI |
| haskellPackages.Barracuda | An ad-hoc P2P chat program |
| python313Packages.autocommand | Autocommand turns a python function into a CLI program |
| python314Packages.autocommand | Autocommand turns a python function into a CLI program |
| haskellPackages.happraise | A small program for counting the comments in haskell source |
| python312Packages.cffconvert | Command line program to validate and convert CITATION.cff files |
| haskellPackages.cabal-progdeps | Show dependencies of program being built in current directory |
| python313Packages.scenedetect | Python and OpenCV-based scene cut/transition detection program & library |
| python314Packages.scenedetect | Python and OpenCV-based scene cut/transition detection program & library |
| perl540Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| perl538Packages.TestRunValgrind | Tests that an external program is valgrind-clean |
| haskellPackages.DrIFT-cabalized | Program to derive type class instances |
| atomicparsley | CLI program for reading, parsing and setting metadata into MPEG-4 files |
| haskellPackages.egison-tutorial | A tutorial program for the Egison programming language |
| haskellPackages.mcmc-synthesis | MCMC applied to probabilistic program synthesis |
| isoimagewriter | Program to write hybrid ISO files onto USB disks |
| industrializer | This program generates synthesized percussion sounds using physical modelling |
| locate-dominating-file | Program that looks up in a directory hierarchy for a given filename |
| haskellPackages.update-nix-fetchgit | A program to update fetchgit values in Nix expressions |
| python312Packages.autocommand | Autocommand turns a python function into a CLI program |
| switch-to-configuration-ng | NixOS switch-to-configuration program |
| python312Packages.scenedetect | Python and OpenCV-based scene cut/transition detection program & library |
| soundtracker | Music tracking tool similar in design to the DOS program FastTracker and the Amiga legend ProTracker |
| haskellPackages.hasql-streams-example | An example program that shows how to use Hasql streams with Rel8 |
| influxdb2-token-manipulator | Utility program to manipulate influxdb api tokens for declarative setups |
| haskellPackages.executable-hash | Provides the SHA1 hash of the program executable |
| haskellPackages.Agda-executable | Command-line program for type-checking and compiling Agda programs |
| perlPackages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| perceptualdiff | Program that compares two images using a perceptually based image metric |
| texlivePackages.hvpygmentex | Syntax-Highlighting of program code |
| perl5Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| kdePackages.isoimagewriter | Program to write hybrid ISO files onto USB disks |
| haskellPackages.postgresql-config | Types for easy adding postgresql configuration to your program |
| haskellPackages.rabocsv2qif | A library and program to create QIF files from Rabobank CSV exports |
| audiowaveform | C++ program to generate waveform data and render waveform images from audio files |
| haskellPackages.HaskellAnalysisProgram | Haskell source code analysis program |
| perl538Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| perl540Packages.StringToIdentifierEN | Convert Strings to English Program Identifiers |
| python313Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| python314Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| texlivePackages.memorygraphs | TikZ styles to typeset graphs of program memory |
| haskellPackages.multiplicity | Wrapper program for duplicity, adding config files |
| openorienteering-mapper | Orienteering mapmaking program |
| haskellPackages.textmatetags | A simple Haskell program to provide tags for Haskell code completion in TextMate |
| haskellPackages.lambdacube-compiler | LambdaCube 3D is a DSL to program GPUs |
| chickenPackages_5.chickenEggs.svnwiki2html | A program to convert svnwiki syntax to HTML |
| haskellPackages.reflex-dom-fragment-shader-canvas | A reflex-dom widget to draw on a canvas with a fragment shader program |
| jpegexiforient | Utility program to get and set the Exif Orientation Tag |
| python312Packages.aio-geojson-usgs-earthquakes | Module for accessing the U.S. Geological Survey Earthquake Hazards Program feeds |
| haskellPackages.functor-combinators | Tools for functor combinator-based program design |
| haskellPackages.visual-graphrewrite | Visualize the graph-rewrite steps of a Haskell program |
| haskellPackages.stackcollapse-ghc | Program to fold GHC prof files into flamegraph input |
| xinput_calibrator | Generic touchscreen calibration program for X.Org |
| haskellPackages.Holumbus-Distribution | intra- and inter-program communication |
| haskellPackages.puppetresources | A program that displays the puppet resources associated to a node given .pp files. |
| gnomeExtensions.control-monitor-brightness-and-volume-with-ddcutil | Brightness and volume control for monitors. Requires setting up the external ddcutil program for your user. |
| haskellPackages.dresdner-verkehrsbetriebe | Library and program for querying DVB (Dresdner Verkehrsbetriebe AG) |
| box64 | Lets you run x86_64 Linux programs on non-x86_64 Linux systems |
| anyk | Tool for filling forms for the Hungarian government |
| flix | Flix Programming Language |
| openjump | Open source Geographic Information System (GIS) written in the Java programming language |
| ballerina | Open-source programming language for the cloud |
| bacnet-stack | BACnet open source protocol stack for embedded systems, Linux, and Windows |
| ocamlPackages.rdbg | Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages) |
| ocamlPackages_latest.rdbg | Programmable debugger that targets reactive programs for which a rdbg-plugin exists. Currently two plugins exist : one for Lustre, and one for Lutin (nb: both are synchronous programming languages) |
| py-spy | Sampling profiler for Python programs |
| desk-exec | Execute programs defined in XDG desktop entries directly from the command line |
| bpflinter | Linting functionality for BPF C programs |
| gren | Programming language for simple and correct applications |
| node-red | Low-code programming for event-driven applications |
| uisp | Tool for AVR microcontrollers which can interface to many hardware in-system programmers |
| gnomeExtensions.reading-strip | It's an extension for Gnome-Shell. It works as a reading guide for computer and this is really useful for people affected by dyslexia. It works great in helping children focusing to read very well, it marks the sentence that they are reading and hides the previous and the next one. It's already used in education projects at schools, it puts the attention on screen but it's also really useful for programmers and graphic designers who want to check their works. |
| ats | Functional programming language with dependent types |
| hop | Multi-tier programming language for the Web 2.0 and the so-called diffuse Web |
| colobot | Real-time strategy game with programmable bots |
| netlogo | Multi-agent programmable modeling environment |
| clipcat | Clipboard Manager written in Rust Programming Language |
| dediprog-sf100 | Linux software for DediProg SF100/SF600 programmers |
| kexi | Open source visual database applications creator, a long-awaited competitor for programs like MS Access or Filemaker |
| obliv-c | GCC wrapper that makes it easy to embed secure computation protocols inside regular C programs |
| orjail | Force programs to exclusively use tor network |
| libsForQt5.ktimer | Little tool to execute programs after some time |
| avrdudess | GUI for AVRDUDE (AVR microcontroller programmer) |
| haskellPackages.streamed | Programmatically edit MIDI event streams via ALSA |
| liberation-circuit | Real-time strategy game with programmable units |
| gnomeExtensions.shyriiwook | Switch keyboard layouts programmatically |
| fut | Fusion programming language |
| p4c | Reference compiler for the P4 programming language |
| eweb | Asciidoc-based literate programming tool, written in Python |
| nqc | Programming language for several LEGO MINDSTORMS products including the RCX, CyberMaster, and Scout |