| minizincide | IDE for MiniZinc, a medium-level constraint modelling language |
| python312Packages.gensim | Topic-modelling library |
| ofono-phonesim | Phone Simulator for modem testing |
| ldtk | Modern, lightweight and efficient 2D level editor |
| wiki-js | Modern and powerful wiki app built on Node.js |
| haskellPackages.hCM | Conceptual modelling support for Haskell |
| python312Packages.opcua-widgets | Common widgets for opcua-modeler og opcua-client-gui |
| haskellPackages.HaLeX | HaLeX enables modelling, manipulation and visualization of regular languages |
| minicom | Modem control and terminal emulation program |
| rang | Minimal, Header only Modern c++ library for terminal goodies |
| haskellPackages.prob-fx | A library for modular probabilistic modelling |
| perlPackages.ModernPerl | Enable all of the features of Modern Perl with one import |
| taze | Modern cli tool that keeps your deps fresh |
| haskellPackages.mathflow | Dependently typed tensorflow modeler |
| perl5Packages.ModernPerl | Enable all of the features of Modern Perl with one import |
| ceptre | Linear logic programming language for modeling generative interactive systems |
| ncdc | Modern and lightweight direct connect client with a friendly ncurses interface |
| systemc | Language for System-level design, modeling and verification |
| haskellPackages.adtrees | Modelling, rendering and quantitative analysis on attack defense trees |
| workcraft | Framework for interpreted graph modeling, verification and synthesis |
| qradiolink | SDR transceiver application for analog and digital modes |
| exult | Recreation of Ultima VII for modern operating systems |
| ceres-solver | C++ library for modeling and solving large, complicated optimization problems |
| tiv | Small C++ program to display images in a (modern) terminal using RGB ANSI codes and unicode block graphics characters |
| perl538Packages.ModernPerl | Enable all of the features of Modern Perl with one import |
| perl540Packages.ModernPerl | Enable all of the features of Modern Perl with one import |
| python313Packages.eternalegypt | Python API for Netgear LTE modems |
| python314Packages.eternalegypt | Python API for Netgear LTE modems |
| btanks | Fast 2d tank arcade game with multiplayer and split-screen modes |
| libloragw-sx1301 | Driver/HAL to build a gateway using a concentrator board based on Semtech SX1301 multi-channel modem and SX1257/SX1255 RF transceivers |
| python313Packages.pytm | Pythonic framework for threat modeling |
| python313Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| python314Packages.pytm | Pythonic framework for threat modeling |
| python314Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| python313Packages.pyro-ppl | Library for probabilistic modeling and inference |
| python314Packages.pyro-ppl | Library for probabilistic modeling and inference |
| nosql-workbench | Visual tool that provides data modeling, data visualization, and query development features to help you design, create, query, and manage DynamoDB tables |
| python312Packages.eternalegypt | Python API for Netgear LTE modems |
| blockbench | Low-poly 3D modeling and animation software |
| timeloop | Chip modeling/mapping benchmarking framework |
| python313Packages.pyomo | Python Optimization Modeling Objects |
| python314Packages.pyomo | Python Optimization Modeling Objects |
| ponyc | Pony is an Object-oriented, actor-model, capabilities-secure, high performance programming language |
| cbmc-viewer | Produces browsable summary of CBMC model checker output |
| statserial | Display serial port modem status lines |
| hashi-ui | Modern user interface for hashicorp Consul & Nomad |
| python313Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| python314Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| python313Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| python314Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| industrializer | This program generates synthesized percussion sounds using physical modelling |
| mysql-workbench | Visual MySQL database modeling, administration and querying tool |
| gocd-agent | Continuous delivery server specializing in advanced workflow modeling and visualization |
| grass | GIS software suite used for geospatial data management and analysis, image processing, graphics and maps production, spatial modeling, and visualization |
| python313Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| python314Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| avy | AIGER model checking for Property Directed Reachability |
| openturns | Multivariate probabilistic modeling and uncertainty treatment library |
| python314Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| python313Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| python312Packages.mip | Collection of Python tools for the modeling and solution of Mixed-Integer Linear programs (MIPs) |
| python312Packages.pytm | Pythonic framework for threat modeling |
| crrcsim | Model-airplane flight simulator |
| python312Packages.pyro-ppl | Library for probabilistic modeling and inference |
| python312Packages.mesa | Agent-based modeling (or ABM) framework in Python |
| python313Packages.mesa | Agent-based modeling (or ABM) framework in Python |
| gocd-server | Continuous delivery server specializing in advanced workflow modeling and visualization |
| perlPackages.CatalystModelDBICSchema | DBIx::Class::Schema Model Class |
| python313Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| python314Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| python312Packages.pyomo | Python Optimization Modeling Objects |
| perl5Packages.CatalystModelDBICSchema | DBIx::Class::Schema Model Class |
| slskd | Modern client-server application for the Soulseek file sharing network |
| libfive | Infrastructure for solid modeling with F-Reps in C, C++, and Guile |
| python312Packages.connect-box | Interact with a Compal CH7465LG cable modem/router |
| python313Packages.gluonts | Probabilistic time series modeling in Python |
| python314Packages.gluonts | Probabilistic time series modeling in Python |
| python312Packages.cvxpy | Domain-specific language for modeling convex optimization problems in Python |
| python312Packages.solidpython2 | Python frontend for solid modelling that compiles to OpenSCAD |
| python314Packages.slovnet | Deep-learning based NLP modeling for Russian language |
| python313Packages.slovnet | Deep-learning based NLP modeling for Russian language |
| python312Packages.mamba-ssm | Linear-Time Sequence Modeling with Selective State Spaces |
| cp437 | Emulates an old-style "code page 437" / "IBM-PC" character
set terminal on a modern UTF-8 terminal emulator
|
| magic-enum | Static reflection for enums (to string, from string, iteration) for modern C++ |
| 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
|
| python313Packages.docplex | IBM Decision Optimization CPLEX Modeling for Python |
| python314Packages.docplex | IBM Decision Optimization CPLEX Modeling for Python |
| perl540Packages.CatalystModelDBICSchema | DBIx::Class::Schema Model Class |
| perl538Packages.CatalystModelDBICSchema | DBIx::Class::Schema Model Class |
| perlPackages.Filechmod | Implements symbolic and ls chmod modes |
| python312Packages.lineedit | Readline library based on prompt_toolkit which supports multiple modes |
| dee | Library that uses DBus to provide objects allowing you to create Model-View-Controller type programs across DBus |
| perl5Packages.Filechmod | Implements symbolic and ls chmod modes |
| haskellPackages.raml | RESTful API Modeling Language (RAML) library for Haskell |
| libsbsms | Subband sinusoidal modeling library for time stretching and pitch scaling audio |
| hof | Framework that joins data models, schemas, code generation, and a task engine. Language and technology agnostic |
| cdo | Collection of command line Operators to manipulate and analyse Climate and NWP model Data |
| daed | Modern dashboard with dae |
| python312Packages.gluonts | Probabilistic time series modeling in Python |
| chickenPackages_5.chickenEggs.salt | Hybrid dynamical systems modeling. |