Showing entries 8801-8840 out of 8840.
Native AWS Pulumi Provider
Native Azure Pulumi Provider
Pulumi provider to execute commands and scripts either locally or remotely as part of the Pulumi r…
Pulumi provider that safely enables randomness for resources
Python wrapper for the OpenCASCADE 3D modeling kernel
Full-text search tool
Framework for comparison of experimental measurements from high-energy particle colliders to theor…
RPM Package Manager
Language Server Protocol implementation for Ruff
File syncing and sharing software with file encryption and group sharing, emphasis on reliability …
Generator for the PySide2 Qt bindings
Generator for the pyside6 Qt bindings
An active set-based NLP solver
Python-based execution environment for make-like workflows
Vendor and platform neutral SDR support library
Vendor and platform neutral SDR support library
The default build environment for Unix packages in Nixpkgs
RSS/Atom parser written in C++ with Python binding
Computes sparse tensor expressions on CPUs and GPUs
Lightning fast C++/CUDA neural network framework
Trust Region Subproblem Solver Library
Extremely fast Python package installer and resolver, written in Rust
Prediction and comparison of RNA secondary structures
Prediction and comparison of RNA secondary structures
Open source libraries for 3D computer graphics, image processing and visualization
Python bindings for the xtensor C++ multi-dimensional array library
Provides small set of data analysis (specifically histogramming) classes
Open RTL synthesis framework and tools
Command-line tool to download videos from YouTube.com and other sites (youtube-dl fork)
Command-line tool to download videos from YouTube.com and other sites (youtube-dl fork)
High-performance theorem prover and SMT solver
High-performance theorem prover and SMT solver
Zeek's Messaging Library
Service which logs the users’s activities and events