Search:
Search Results
Results: 1 - 7 of 7
Page:
1
sci-mathematics/why
Why is a software verification platform
net-voip/yate
The Yate AV Suite
sci-libs/fftw
Fast C library for the Discrete Fourier Transform
media-libs/opus
Open versatile codec designed for interactive speech and audio transmission over the internet
media-libs/opusfile
A high-level decoding and seeking API for .opus files
sci-mathematics/why3
Why3 is a platform for deductive program verification
sci-chemistry/rosetta
Prediction of protein structures and protein-protein interactions
Results: 1 - 7 of 7
Page:
1