Showing entries 9801-9809 out of 9809.
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