libcoq-corn
Coq Constructive Repository at Nijmegen
This library provides different theories for Coq:
- an algebraic hierarchy with an axiomatic formalization
of the most common algebraic structures, like setoids,
monoids, groups, rings, fields, ordered fields, rings of
polynomials and real and complex numbers;
- a construction of the real numbers satisfying the above
axiomatic description;
- a proof of the fundamental theorem of algebra;
- a collection of elementary results on real analysis
including continuity, differentiability, integration,
Taylor's theorems and the fundamental theorem of calculus;
- tools for exact real computations like real numbers,
functions, integrals, graph of functions and differential
equations.
libconsole-bridge1.0
console bridge - library
ROS-independent, pure CMake (i.e. non-catkin and non-rosbuild
package) that provides logging calls that mirror those found in
rosconsole, but for applications that are not necessarily using ROS.
wesnoth-1.16-server
multiplayer network server for Wesnoth (branch 1.16)
This package contains the multiplayer network server for Wesnoth. You need it
if you want to host multiplayer games on your computer and don't want to use
the official servers.
python3-apeye
Handy tools for working with URLs and APIs
The "apeye" package is a Python library that makes it easy to make API
calls asynchronously and conveniently. It provides a simple way to make
HTTP requests, handle responses, and handle errors, all in an asynchronous
environment.
wesnoth-1.16-dw
"Dead Water" official campaign for Wesnoth (branch 1.16)
This package contains the "Dead Water" campaign for Wesnoth:
"You are Kai Krellis, son and heir of the last merman king but only a child. A
necromancer is turning your subjects into undead slaves! Lead your people on a
mission to convince a powerful mer-sorceress to help you repel the invasion.
The oceans near the Northern Lands are perilous, so you will need cunning and
bravery to survive. But first you need to gain the respect of your troops!"
(Intermediate level, 10 scenarios)
libgm2-18-mips64-cross
GNU Modula-2 standard library (runtime library)
This is the GNU Modula-2 standard library that comes with the gm2 compiler.