| io | Io programming language |
| roc | Fast, friendly, functional programming language |
| cplex | Optimization solver for mathematical programming |
| sam-ba | Programming tools for Atmel SAM3/7/9 ARM-based microcontrollers |
| factor-lang | Concatenative, stack-based programming language |
| factor-lang-0_99 | Concatenative, stack-based programming language |
| factor-lang-0_101 | Concatenative, stack-based programming language |
| factor-lang-0_100 | Concatenative, stack-based programming language |
| mozart2-binary | Multiplatform implementation of the Oz programming language |
| factorPackages.factor-lang | Concatenative, stack-based programming language |
| factorPackages.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-lang | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-no-gui | Concatenative, stack-based programming language |
| factorPackages.factor-minimal | Concatenative, stack-based programming language |
| factorPackages.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-minimal | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-minimal | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-minimal | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-minimal-gui | Concatenative, stack-based programming language |
| factorPackages.factor-unwrapped | Concatenative, stack-based programming language |
| factorPackages-0_99.factor-unwrapped | Concatenative, stack-based programming language |
| factorPackages-0_100.factor-unwrapped | Concatenative, stack-based programming language |
| factorPackages-0_101.factor-unwrapped | Concatenative, stack-based programming language |
| verifast | Verification for C and Java programs via separation logic |
| haskellPackages.keid-render-basic | Basic rendering programs for Keid engine |
| gtkclipblock | LD_PRELOAD hack to prevent GTK programs from interacting with the primary clipboard |
| pinokio | Browser to install, run, and programmatically control ANY application automatically |
| red | New programming language strongly inspired by Rebol, but with a
broader field of usage thanks to its native-code compiler, from system
programming to high-level scripting, while providing modern support for
concurrency and multi-core CPUs
|
| ngn-k | Simple fast vector programming language |
| cudaPackages.cuda_nvml_dev | C-based programmatic interface for monitoring and managing various states within Data Center GPUs |
| clean | General purpose, state-of-the-art, pure and lazy functional programming language |
| gurobi | Optimization solver for mathematical programming |
| turingplus | Extended version of the Turing programming language with concurrency and systems programming features |
| sourcery | AI-powered code review and pair programming tool for Python |
| cudaPackages.cuda_nvtx | C-based Application Programming Interface (API) for annotating events, code ranges, and resources in your applications |
| cudaPackages.libnvshmem | Parallel programming interface for NVIDIA GPUs based on OpenSHMEM |
| vscode-extensions.sourcery.sourcery | VSCode extension for Sourcery, an AI-powered code review and pair programming tool for Python |
| playonlinux | GUI for managing Windows programs under linux |
| fmodex | Programming library and toolkit for the creation and playback of interactive audio |
| bliss | Open source tool for computing automorphism groups and canonical forms of graphs. It has both a command line user interface as well as C++ and C programming language APIs |
| kotlin-native | Modern programming language that makes developers happier |
| muvm | Run programs from your system in a microVM |
| jpm | Janet Project Manager for the Janet programming language |
| icr | Interactive console for the Crystal programming language |
| juniper | Functional reactive programming language for programming Arduino |
| dart | Scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps |
| dafny | Programming language with built-in specification constructs |
| ponyc | Pony is an Object-oriented, actor-model, capabilities-secure, high performance programming language |
| geogram | Programming Library with Geometric Algorithms |
| smlfut | Allow SML programs to call Futhark programs |
| yamlscript | Programming in YAML |
| purescript | Strongly-typed functional programming language that compiles to JavaScript |
| smlpkg | Generic package manager for Standard ML libraries and programs |
| pulumi-bin | Pulumi is a cloud development platform that makes creating cloud programs easy and productive |
| rockstarlang | Esoteric programming language whose syntax is inspired by the lyrics to 80s hard rock and heavy metal songs |
| discord-gamesdk | Library to allow other programs to interact with the Discord desktop application |
| julec | Jule Programming Language Compiler |
| picat | Logic-based programming language |
| juledoc | Official documentation generator for the Jule programming language |
| julefmt | Official formatter tool for the Jule programming language |
| dub | Package and build manager for D programs and libraries |
| hare | Systems programming language designed to be simple, stable, and robust |
| box64 | Lets you run x86_64 Linux programs on non-x86_64 Linux systems |
| hareThirdParty.hare-ev | Event loop for Hare programs |
| 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 |
| cosmocc | Compilers for Cosmopolitan C/C++ programs |
| 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 |
| avrdudess | GUI for AVRDUDE (AVR microcontroller programmer) |
| haskellPackages.streamed | Programmatically edit MIDI event streams via ALSA |
| libsForQt5.ktimer | Little tool to execute programs after some time |
| liberation-circuit | Real-time strategy game with programmable units |
| gnomeExtensions.shyriiwook | Switch keyboard layouts programmatically |
| fut | Fusion programming language |