| packages/nixpkgs/brlcad | BRL-CAD is a powerful cross-platform open source combinatorial solid modeling system |
| packages/nixpkgs/python312Packages.py3langid | Fork of the language identification tool langid.py, featuring a modernized codebase and faster execution times |
| packages/nixpkgs/wsjtx | Weak-signal digital communication modes for amateur radio |
| packages/nixpkgs/kdePackages.umbrello | GUI for diagramming Unified Modelling Language (UML) |
| packages/nixpkgs/python313Packages.selectolax | Python binding to Modest and Lexbor engines |
| packages/nixpkgs/python314Packages.selectolax | Python binding to Modest and Lexbor engines |
| packages/nixpkgs/uppaal | Integrated tool environment for modeling, validation and verification of real-time systems |
| packages/nixpkgs/python313Packages.gensim | Topic-modelling library |
| packages/nixpkgs/python314Packages.gensim | Topic-modelling library |
| packages/nixpkgs/fmi-reference-fmus | Functional Mock-up Units for development, testing and debugging |
| packages/nixpkgs/fldigi | Digital modem program |
| packages/nixpkgs/haskellPackages.vcache-trie | patricia tries modeled above VCache |
| packages/nixpkgs/iina | Modern media player for macOS |
| packages/nixpkgs/python312Packages.huawei-lte-api | API For huawei LAN/WAN LTE Modems |
| packages/nixpkgs/eg25-manager | Manager daemon for the Quectel EG25 mobile broadband modem found on the Pine64 PinePhone and PinePhone Pro |
| packages/nixpkgs/python313Packages.opcua-widgets | Common widgets for opcua-modeler og opcua-client-gui |
| packages/nixpkgs/python314Packages.opcua-widgets | Common widgets for opcua-modeler og opcua-client-gui |
| packages/nixpkgs/nuXmv | Symbolic model checker for analysis of finite and infinite state systems |
| packages/nixpkgs/python312Packages.selectolax | Python binding to Modest and Lexbor engines |
| packages/nixpkgs/netlogo | Multi-agent programmable modeling environment |
| packages/nixpkgs/msr | Linux tool to display or modify x86 model-specific registers (MSRs) |
| packages/nixpkgs/minizincide | IDE for MiniZinc, a medium-level constraint modelling language |
| packages/nixpkgs/python312Packages.gensim | Topic-modelling library |
| packages/nixpkgs/ofono-phonesim | Phone Simulator for modem testing |
| packages/nixpkgs/ldtk | Modern, lightweight and efficient 2D level editor |
| packages/nixpkgs/wiki-js | Modern and powerful wiki app built on Node.js |
| packages/nixpkgs/haskellPackages.hCM | Conceptual modelling support for Haskell |
| packages/nixpkgs/python312Packages.opcua-widgets | Common widgets for opcua-modeler og opcua-client-gui |
| packages/nixpkgs/haskellPackages.HaLeX | HaLeX enables modelling, manipulation and visualization of regular languages |
| packages/nixpkgs/minicom | Modem control and terminal emulation program |
| packages/nixpkgs/rang | Minimal, Header only Modern c++ library for terminal goodies |
| packages/nixpkgs/haskellPackages.prob-fx | A library for modular probabilistic modelling |
| packages/nixpkgs/taze | Modern cli tool that keeps your deps fresh |
| packages/nixpkgs/haskellPackages.mathflow | Dependently typed tensorflow modeler |
| packages/nixpkgs/ceptre | Linear logic programming language for modeling generative interactive systems |
| packages/nixpkgs/ncdc | Modern and lightweight direct connect client with a friendly ncurses interface |
| packages/nixpkgs/systemc | Language for System-level design, modeling and verification |
| packages/nixpkgs/haskellPackages.adtrees | Modelling, rendering and quantitative analysis on attack defense trees |
| packages/nixpkgs/workcraft | Framework for interpreted graph modeling, verification and synthesis |
| packages/nixpkgs/qradiolink | SDR transceiver application for analog and digital modes |
| packages/nixpkgs/exult | Recreation of Ultima VII for modern operating systems |
| packages/nixpkgs/ceres-solver | C++ library for modeling and solving large, complicated optimization problems |
| packages/nixpkgs/tiv | Small C++ program to display images in a (modern) terminal using RGB ANSI codes and unicode block graphics characters |
| packages/nixpkgs/python313Packages.eternalegypt | Python API for Netgear LTE modems |
| packages/nixpkgs/python314Packages.eternalegypt | Python API for Netgear LTE modems |
| packages/nixpkgs/btanks | Fast 2d tank arcade game with multiplayer and split-screen modes |
| packages/nixpkgs/libloragw-sx1301 | Driver/HAL to build a gateway using a concentrator board based on Semtech SX1301 multi-channel modem and SX1257/SX1255 RF transceivers |
| packages/nixpkgs/python313Packages.pytm | Pythonic framework for threat modeling |
| packages/nixpkgs/python313Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| packages/nixpkgs/python314Packages.pytm | Pythonic framework for threat modeling |
| packages/nixpkgs/python314Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| packages/nixpkgs/python313Packages.pyro-ppl | Library for probabilistic modeling and inference |
| packages/nixpkgs/python314Packages.pyro-ppl | Library for probabilistic modeling and inference |
| packages/nixpkgs/nosql-workbench | Visual tool that provides data modeling, data visualization, and query development features to help you design, create, query, and manage DynamoDB tables |
| packages/nixpkgs/python312Packages.eternalegypt | Python API for Netgear LTE modems |
| packages/nixpkgs/blockbench | Low-poly 3D modeling and animation software |
| packages/nixpkgs/timeloop | Chip modeling/mapping benchmarking framework |
| packages/nixpkgs/python313Packages.pyomo | Python Optimization Modeling Objects |
| packages/nixpkgs/python314Packages.pyomo | Python Optimization Modeling Objects |
| packages/nixpkgs/ponyc | Pony is an Object-oriented, actor-model, capabilities-secure, high performance programming language |
| packages/nixpkgs/cbmc-viewer | Produces browsable summary of CBMC model checker output |
| packages/nixpkgs/statserial | Display serial port modem status lines |
| packages/nixpkgs/hashi-ui | Modern user interface for hashicorp Consul & Nomad |
| packages/nixpkgs/python313Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| packages/nixpkgs/python314Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| packages/nixpkgs/python313Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| packages/nixpkgs/python314Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| packages/nixpkgs/industrializer | This program generates synthesized percussion sounds using physical modelling |
| packages/nixpkgs/mysql-workbench | Visual MySQL database modeling, administration and querying tool |
| packages/nixpkgs/gocd-agent | Continuous delivery server specializing in advanced workflow modeling and visualization |
| packages/nixpkgs/grass | GIS software suite used for geospatial data management and analysis, image processing, graphics and maps production, spatial modeling, and visualization |
| packages/nixpkgs/python313Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| packages/nixpkgs/python314Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| packages/nixpkgs/avy | AIGER model checking for Property Directed Reachability |
| packages/nixpkgs/openturns | Multivariate probabilistic modeling and uncertainty treatment library |
| packages/nixpkgs/python313Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| packages/nixpkgs/python314Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| packages/nixpkgs/python312Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| packages/nixpkgs/python312Packages.pytm | Pythonic framework for threat modeling |
| packages/nixpkgs/python312Packages.pyro-ppl | Library for probabilistic modeling and inference |
| packages/nixpkgs/crrcsim | Model-airplane flight simulator |
| packages/nixpkgs/python312Packages.mesa | Agent-based modeling (or ABM) framework in Python |
| packages/nixpkgs/python313Packages.mesa | Agent-based modeling (or ABM) framework in Python |
| packages/nixpkgs/gocd-server | Continuous delivery server specializing in advanced workflow modeling and visualization |
| packages/nixpkgs/python313Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| packages/nixpkgs/python314Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| packages/nixpkgs/python312Packages.pyomo | Python Optimization Modeling Objects |
| packages/nixpkgs/slskd | Modern client-server application for the Soulseek file sharing network |
| packages/nixpkgs/libfive | Infrastructure for solid modeling with F-Reps in C, C++, and Guile |
| packages/nixpkgs/python312Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| packages/nixpkgs/python313Packages.gluonts | Probabilistic time series modeling in Python |
| packages/nixpkgs/python314Packages.gluonts | Probabilistic time series modeling in Python |
| packages/nixpkgs/python312Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| packages/nixpkgs/python312Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| packages/nixpkgs/python313Packages.slovnet | Deep-learning based NLP modeling for Russian language |
| packages/nixpkgs/python314Packages.slovnet | Deep-learning based NLP modeling for Russian language |
| packages/nixpkgs/python312Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| packages/nixpkgs/cp437 | Emulates an old-style "code page 437" / "IBM-PC" character
set terminal on a modern UTF-8 terminal emulator
|
| packages/nixpkgs/magic-enum | Static reflection for enums (to string, from string, iteration) for modern C++ |
| packages/nixpkgs/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
|