Showing entries 10001-10047 out of 10047.
C++ port of zxing (a Java barcode image processing library)
Tool to automatically purge old trashed files
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…
Hetzner Cloud Pulumi resource package, providing multi-language access to Hetzner Cloud
Pulumi provider that safely enables randomness for resources
Python wrapper for the OpenCASCADE 3D modeling kernel
Full-text search tool
Release Notes Manager
Framework for comparison of experimental measurements from high-energy particle colliders to theor…
RPM Package Manager
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
Domain specific library for electronic structure calculations
Scalable Library for Eigenvalue Problem Computations
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
Simple Theorem Prover
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
Efficient Task Space Inverse Dynamics (TSID) based on Pinocchio
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
Type-1 hypervisor intended for embedded and hyperscale use cases
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