liblavfile-2.1-0t64
MJPEG capture/editing/replay and MPEG encoding toolset (library)
The mjpeg programs are a set of tools that can do recording of videos and
playback, simple cut-and-paste editing and the MPEG compression of audio and
video under Linux.
libmirserver58t64
Mir Display Server - server library
Mir is a display server running on Linux systems, with a focus on efficiency,
robust operation and a well-defined driver model.
davegnukem
Retro-style 2D scrolling platform shooter
Dave Gnukem is an open source retro-style 2D scrolling platform shooter,
inspired by and similar to Duke Nukem 1. It currently runs on Windows, macOS,
Linux and various other platforms. It is written in C++ using SDL library and
it features an integrated level editor as well. This game is not really a
clone or remake, it is probably most akin to a parody.
libcpp-httplib0
C++ HTTP/HTTPS server and client library
cpp-httplib is a C++11 cross platform HTTP/HTTPS library, with a focus on
ease of use. This is a multi-threaded 'blocking' HTTP library. If you are
looking for a 'non-blocking' library, this is not the one that you want.
libcoq-ott
Ott tool (Coq plugin)
Ott is a tool to write definitions of programming
languages and calculi. From the definition of a
language syntex and semanticsin a concise and readable
notation close to informal mathematics, it can
provide LaTeX, Coq, HOL, Isabelle/HOL, Lem or OCaml
versions of the definition.
libtorch-cuda-2.5
Tensors and Dynamic neural networks in Python (Shared Objects)
PyTorch is a Python package that provides two high-level features: