| packages/nixpkgs/supercollider-with-plugins | Programming language for real time audio synthesis |
| packages/nixpkgs/typstPackages.fuzzy-cnoi-statement_0_1_1 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| packages/nixpkgs/typstPackages.fuzzy-cnoi-statement_0_1_3 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| packages/nixpkgs/typstPackages.fuzzy-cnoi-statement_0_1_2 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| packages/nixpkgs/typstPackages.fuzzy-cnoi-statement_0_1_0 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| packages/nixpkgs/libsForQt5.ktimer | Little tool to execute programs after some time |
| packages/nixpkgs/time | Tool that runs programs and summarizes the system resources they use |
| packages/nixpkgs/haskellPackages.DysFRP-Craftwerk | dysFunctional Reactive Programming on Craftwerk |
| packages/nixpkgs/haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| packages/nixpkgs/supercollider-with-sc3-plugins | Programming language for real time audio synthesis |
| packages/nixpkgs/haskellPackages.arduino-copilot | Arduino programming in haskell using the Copilot stream DSL |
| packages/nixpkgs/haskellPackages.linear-generics | Generic programming library for generalised deriving |
| packages/nixpkgs/haskellPackages.servant-foreign | Helpers for generating clients for servant APIs in any programming language |
| packages/nixpkgs/haskellPackages.reactive-thread | Reactive programming via imperative threads |
| packages/nixpkgs/haskellPackages.reactive-banana | Library for functional reactive programming (FRP) |
| packages/nixpkgs/python312Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| packages/nixpkgs/haskellPackages.language-oberon | Parser, pretty-printer, and more for the Oberon programming language |
| packages/nixpkgs/haskellPackages.tomato-rubato-openal | Easy to use library for audio programming |
| packages/nixpkgs/faust2sndfile | The faust2sndfile script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/faust2firefox | The faust2firefox script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/haskellPackages.logict-sequence | A backtracking logic-programming monad with asymptotic improvements to msplit |
| packages/nixpkgs/vscode-extensions.leanprover.lean4 | This extension provides VS Code support for the Lean 4 theorem prover and programming language |
| packages/nixpkgs/haskellPackages.language-Modula2 | Parser, pretty-printer, and more for the Modula-2 programming language |
| packages/nixpkgs/vscode-extensions.wakatime.vscode-wakatime | Visual Studio Code plugin for automatic time tracking and metrics generated
from your programming activity
|
| packages/nixpkgs/flockit | LD_PRELOAD shim to add file locking to programs that don't do it (I'm looking at you, rsync!) |
| packages/nixpkgs/haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| packages/nixpkgs/skawarePackages.skalibs_2_10 | Set of general-purpose C programming libraries |
| packages/nixpkgs/vscode-extensions.sourcery.sourcery | VSCode extension for Sourcery, an AI-powered code review and pair programming tool for Python |
| packages/nixpkgs/color-transformation-language | Programming language for digital color management |
| packages/nixpkgs/haskellPackages.inliterate | Interactive literate programming |
| packages/nixpkgs/haskellPackages.forbidden-fruit | A library accelerates imperative style programming |
| packages/nixpkgs/haskellPackages.whitespace | Whitespace, an esoteric programming language |
| packages/nixpkgs/texlivePackages.functional | An intuitive functional programming interface for LaTeX2 |
| packages/nixpkgs/ipvsadm | Linux Virtual Server support programs |
| packages/nixpkgs/ynetd | Small server for binding programs to TCP ports |
| packages/nixpkgs/haskellPackages.purescript | PureScript Programming Language Compiler |
| packages/nixpkgs/cairo-lang | Turing-complete language for creating provable programs for general computation |
| packages/nixpkgs/flip-link | Adds zero-cost stack overflow protection to your embedded programs |
| packages/nixpkgs/haskellPackages.grapefruit-ui | Declarative user interface programming |
| packages/nixpkgs/haskellPackages.reactive-banana-gi-gtk | Simple reactive programming with GTK GObject Introspection |
| packages/nixpkgs/akkuPackages.rebottled-schelog | Dorai Sitaram's Schelog: logic programming in Scheme |
| packages/nixpkgs/haskellPackages.generic-deriving | Generic programming library for generalised deriving |
| packages/nixpkgs/haskellPackages.instant-generics | Generic programming library with a sum of products view |
| packages/nixpkgs/haskellPackages.grapefruit-frp | Functional Reactive Programming core |
| packages/nixpkgs/haskellPackages.monadiccp-gecode | Constraint Programming |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex_9_12_0_0 | Programming with GHC parse trees |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex_9_10_0_0 | Programming with GHC parse trees |
| packages/nixpkgs/lxqt.lxqt-runner | Tool used to launch programs quickly by typing their names |
| packages/nixpkgs/npiet | Interpreter for piet programs |
| packages/nixpkgs/haskellPackages.ghc-lib-parser-ex_9_14_2_0 | Programming with GHC parse trees |
| packages/nixpkgs/haskellPackages.unbound-generics | Support for programming with names and binders using GHC Generics |
| packages/nixpkgs/haskellPackages.parconc-examples | Examples to accompany the book "Parallel and Concurrent Programming in Haskell" |
| packages/nixpkgs/haskellPackages.quipper-language | Quipper, an embedded functional programming language for quantum computation |
| packages/nixpkgs/texlivePackages.clojure-pamphlet | A simple literate programming tool based on clojure's pamphlet system |
| packages/nixpkgs/haskellPackages.purescript-ast | PureScript Programming Language Abstract Syntax Tree |
| packages/nixpkgs/haskellPackages.purescript-cst | PureScript Programming Language Concrete Syntax Tree |
| packages/nixpkgs/luajitPackages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/python313Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| packages/nixpkgs/python314Packages.pyfunctional | Python library for creating data pipelines with chain functional programming |
| packages/nixpkgs/bashate | Style enforcement for bash programs |
| packages/nixpkgs/libxc | Library of exchange-correlation functionals for density-functional theory |
| packages/nixpkgs/pdfid | Scan a file to look for certain PDF keywords |
| packages/nixpkgs/haskellPackages.coroutine-object | Object-oriented programming realization using coroutine |
| packages/nixpkgs/haskellPackages.grapefruit-ui-gtk | GTK+-based backend for declarative user interface programming |
| packages/nixpkgs/python312Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine |
| packages/nixpkgs/crudini | Utility for manipulating ini files |
| packages/nixpkgs/bpftop | Dynamic real-time view of running eBPF programs |
| packages/nixpkgs/samba4 | Standard Windows interoperability suite of programs for Linux and Unix |
| packages/nixpkgs/sambaFull | Standard Windows interoperability suite of programs for Linux and Unix |
| packages/nixpkgs/openfpgaloader | Universal utility for programming FPGAs |
| packages/nixpkgs/akkuPackages.scheme-langserver | This package is a language server protocol implementation helping scheme programming. |
| packages/nixpkgs/haskellPackages.profunctor-monad | Monadic bidirectional programming |
| packages/nixpkgs/nailgun | Client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead |
| packages/nixpkgs/ocamlPackages.lwt-exit | Opinionated clean-exit and signal-handling library for Lwt programs |
| packages/nixpkgs/pico-sdk | SDK provides the headers, libraries and build system necessary to write programs for the RP2040-based devices |
| packages/nixpkgs/haskellPackages.unbound-kind-generics | Support for programming with names and binders using kind-generics |
| packages/nixpkgs/luaPackages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/trojan-rs | Trojan server and proxy programs written in Rust |
| packages/nixpkgs/haskellPackages.probability | Probabilistic Functional Programming |
| packages/nixpkgs/haskellPackages.reflex_0_9_4_0 | Higher-order Functional Reactive Programming |
| packages/nixpkgs/texlivePackages.beamertools | A collection of programming tools for beamer |
| packages/nixpkgs/haskellPackages.effective-aspects | A monadic embedding of aspect oriented programming |
| packages/nixpkgs/haskellPackages.functional-arrow | Combinators that allow for a more functional/monadic style of Arrow programming |
| packages/nixpkgs/haskellPackages.hyperscript | A parser for the _hyperscript programming language |
| packages/nixpkgs/haskellPackages._3d-graphics-examples | Examples of 3D graphics programming with OpenGL |
| packages/nixpkgs/haskellPackages.edenmodules | Semi-explicit parallel programming library |
| packages/nixpkgs/texlivePackages.latexindent | Indent a LaTeX document, highlighting the programming structure |
| packages/nixpkgs/cbmc | Bounded Model Checker for C and C++ programs |
| packages/nixpkgs/rlwrap | Readline wrapper for console programs |
| packages/nixpkgs/faust2jackrust | The faust2jackrust script, part of faust functional programming language for realtime audio signal processing |
| packages/nixpkgs/haskellPackages.sparsecheck | A Logic Programming Library for Test-Data Generation |
| packages/nixpkgs/haskellPackages.quipper-rendering | An embedded, scalable functional programming language for quantum computing |
| packages/nixpkgs/lua52Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua54Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua53Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua51Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/lua55Packages.luafilesystem | File System Library for the Lua Programming Language |
| packages/nixpkgs/haskellPackages.Lambdajudge | A library to easily host Haskell based programming competitions |
| packages/nixpkgs/haskellPackages.Shpadoinkle | A programming model for declarative, high performance user interface |
| packages/nixpkgs/rune-languageserver | Language server for the Rune Language, an embeddable dynamic programming language for Rust |