| faust2ladspa | The faust2ladspa script, part of faust functional programming language for realtime audio signal processing |
| faust2csound | The faust2csound script, part of faust functional programming language for realtime audio signal processing |
| python314Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| haskellPackages.semiring | Semirings, ring-like structures used for dynamic programming applications |
| haskellPackages.simple-actors | A library for more structured concurrent programming, based on the Actor Model |
| libfishsound | Simple programming interface for decoding and encoding audio data using Xiph.org codecs (FLAC, Speex and Vorbis) |
| python313Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| python312Packages.psycopg2-binary | PostgreSQL database adapter for the Python programming language |
| python312Packages.online-judge-api-client | API client to develop tools for competitive programming |
| milu | Higher Order Mutation Testing Tool for C and C++ programs |
| chickenPackages_5.chickenEggs.colorize | Colorize programming code as HTML |
| haskellPackages.generics-sop | Generic Programming using True Sums of Products |
| haskellPackages.generics-eot | A library for generic programming that aims to be easy to understand |
| perl538Packages.Paranoid | General function library for safer, more secure programming |
| perl540Packages.Paranoid | General function library for safer, more secure programming |
| haskellPackages.canteven-http | Utilities for HTTP programming |
| haskellPackages.language-hcl | HCL parsers and pretty-printers for the Haskell programming language |
| python313Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| tigerjython | Simple development environment for programming in Python |
| haskellPackages.full-sessions | a monad for protocol-typed network programming |
| python314Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| griffe | Signatures for entire Python programs |
| verifast | Verification for C and Java programs via separation logic |
| python312Packages.minikanren | Relational programming in Python |
| haskellPackages.ADPfusionForest | Dynamic programming on tree and forest structures |
| haskellPackages.descript-lang | Library, interpreter, and CLI for Descript programming language |
| haskellPackages.language-conf | Conf parsers and pretty-printers for the Haskell programming language |
| haskellPackages.kind-generics | Generic programming in GHC style for arbitrary kinds and GADTs |
| haskellPackages.monadiccp | Constraint Programming |
| python312Packages.strategies | Python library for control flow programming |
| haskellPackages.dynamic-object | Object-oriented programming with duck typing and singleton classes |
| haskellPackages.prototype | prototype-based programming on Haskell |
| haskellPackages.sketch-frp-copilot | Sketch programming with Copilot |
| haskellPackages.zephyr-copilot | Embedded programming in haskell using the Copilot stream DSL and Zephyr |
| nerd-fonts.caskaydia-cove | Nerd Fonts: A fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal |
| haskellPackages.cloudchor | Lightweight and efficient choreographic programming for cloud services |
| haskellPackages.copilot-frp-sketch | FRP sketch programming with Copilot |
| haskellPackages.reactive-bacon | FRP (functional reactive programming) framework |
| haskellPackages.shady-graphics | Functional GPU programming - DSEL & compiler |
| miniaudicle | Light-weight integrated development environment for the ChucK digital audio programming language |
| online-judge-template-generator | Analyze problems of competitive programming and automatically generate boilerplate |
| comma | Runs programs without installing them |
| mpy-utils | MicroPython development utility programs |
| python312Packages.property-manager | Useful property variants for Python programming |
| haskellPackages.generics-mrsop | Generic Programming with Mutually Recursive Sums of Products |
| haskellPackages.Ztrategic | Zipper-based library for strategic programming and attribute grammars |
| haskellPackages.yices-painless | An embedded language for programming the Yices SMT solver |
| haskellPackages.large-generics | Generic programming API for large-records and large-anon |
| python313Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects |
| python314Packages.py4j | Py4J enables Python programs running in a Python interpreter to dynamically access Java objects in a Java Virtual Machine. Methods are called as if the Java objects resided in the Python interpreter and Java collections can be accessed through standard Python collection methods. Py4J also enables Java programs to call back Python objects |
| libsForQt5.quazip | Provides access to ZIP archives from Qt programs |
| pulumi | Cloud development platform that makes creating cloud programs easy and productive |
| rund | Compiler-wrapper that runs and caches D programs |
| python312Packages.repl-python-wakatime | Python REPL plugin for automatic time tracking and metrics generated from your programming activity |
| haskellPackages.funcons-lambda-cbv-mp | call-by-value lambda-calculus with meta-programming |
| haskellPackages.dhscanner-ast | abstract syntax tree for multiple programming languages |
| supercollider-with-plugins | Programming language for real time audio synthesis |
| typstPackages.fuzzy-cnoi-statement_0_1_3 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| typstPackages.fuzzy-cnoi-statement_0_1_0 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| typstPackages.fuzzy-cnoi-statement_0_1_1 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| typstPackages.fuzzy-cnoi-statement_0_1_2 | A template for CNOI(Olympiad in Informatics in China)-style statements for competitive programming |
| libsForQt5.ktimer | Little tool to execute programs after some time |
| time | Tool that runs programs and summarizes the system resources they use |
| haskellPackages.DysFRP-Craftwerk | dysFunctional Reactive Programming on Craftwerk |
| haskellPackages.acme-stringly-typed | Stringly Typed Programming |
| supercollider-with-sc3-plugins | Programming language for real time audio synthesis |
| python312Packages.online-judge-verify-helper | Testing framework for snippet libraries used in competitive programming |
| haskellPackages.arduino-copilot | Arduino programming in haskell using the Copilot stream DSL |
| haskellPackages.linear-generics | Generic programming library for generalised deriving |
| haskellPackages.servant-foreign | Helpers for generating clients for servant APIs in any programming language |
| haskellPackages.reactive-thread | Reactive programming via imperative threads |
| haskellPackages.reactive-banana | Library for functional reactive programming (FRP) |
| haskellPackages.language-oberon | Parser, pretty-printer, and more for the Oberon programming language |
| haskellPackages.tomato-rubato-openal | Easy to use library for audio programming |
| faust2firefox | The faust2firefox script, part of faust functional programming language for realtime audio signal processing |
| faust2sndfile | The faust2sndfile script, part of faust functional programming language for realtime audio signal processing |
| haskellPackages.logict-sequence | A backtracking logic-programming monad with asymptotic improvements to msplit |
| vscode-extensions.leanprover.lean4 | This extension provides VS Code support for the Lean 4 theorem prover and programming language |
| haskellPackages.language-Modula2 | Parser, pretty-printer, and more for the Modula-2 programming language |
| vscode-extensions.wakatime.vscode-wakatime | Visual Studio Code plugin for automatic time tracking and metrics generated
from your programming activity
|
| flockit | LD_PRELOAD shim to add file locking to programs that don't do it (I'm looking at you, rsync!) |
| haskellPackages.symantic-parser | Parser combinators statically optimized and staged via typed meta-programming |
| skawarePackages.skalibs_2_10 | Set of general-purpose C programming libraries |
| vscode-extensions.sourcery.sourcery | VSCode extension for Sourcery, an AI-powered code review and pair programming tool for Python |
| color-transformation-language | Programming language for digital color management |
| haskellPackages.forbidden-fruit | A library accelerates imperative style programming |
| haskellPackages.inliterate | Interactive literate programming |
| haskellPackages.whitespace | Whitespace, an esoteric programming language |
| texlivePackages.functional | An intuitive functional programming interface for LaTeX2 |
| ipvsadm | Linux Virtual Server support programs |
| ynetd | Small server for binding programs to TCP ports |
| haskellPackages.purescript | PureScript Programming Language Compiler |
| haskellPackages.grapefruit-ui | Declarative user interface programming |
| haskellPackages.reactive-banana-gi-gtk | Simple reactive programming with GTK GObject Introspection |
| cairo-lang | Turing-complete language for creating provable programs for general computation |
| flip-link | Adds zero-cost stack overflow protection to your embedded programs |
| akkuPackages.rebottled-schelog | Dorai Sitaram's Schelog: logic programming in Scheme |
| haskellPackages.generic-deriving | Generic programming library for generalised deriving |
| haskellPackages.ghc-lib-parser-ex_9_12_0_0 | Programming with GHC parse trees |
| haskellPackages.ghc-lib-parser-ex_9_10_0_0 | Programming with GHC parse trees |