Showing entries 10001-10034 out of 10034.
Release Notes Manager
Framework for comparison of experimental measurements from high-energy particle colliders to theor…
RPM package manager
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
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
Zeek's Messaging Library
Service which logs the users’s activities and events