Showing entries 9301-9323 out of 9323.
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
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