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.
Retro-style 2D scrolling platform shooter

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: