Maia’s goal is to play the human move, not necessarily the best move. As a result, Maia has a more human-like style than previous engines, matching moves played by human players in online games over 50% of the time.

Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.

This package contains leanproject, a supporting tool for Lean mathlib, a mathematical library for the Lean theorem prover.

Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between interactive and automated theorem proving.

Not Quite C (NQC) is a simple language for programming several Lego MINDSTORMS products. The preprocessor and control structures of NQC are very similar to C. NQC is not a general purpose language -- there are many restrictions that stem from limitations of the standard RCX firmware.

LeoCAD is a program for creating virtual LEGO models. It has an intuitive interface, designed to allow new users to start creating new models without having to spend too much time learning the application. LeoCAD is fully compatible with the LDraw Standard and related tools.

To browse files, the excellent viewer less can be used. By setting the environment variable LESSOPEN, less can be enhanced by external filters to become more powerful. The input filter for less described here is called lesspipe.sh. It is able to process a wide variety of file formats. It enables users to inspect archives and display their contents without having to unpack them before. The filter is easily extensible for new formats.

GNU less is a pager, a program that allows you to view large amounts of text in page-sized chunks. Unlike traditional pagers, it allows both backwards and forwards movement through the document. It also does not have to read the entire input file before starting, so it starts faster than most text editors.

Motif is a standard graphical user interface, (as defined by the IEEE 1295 specification), used on more than 200 hardware and software platforms. It provides application developers, end users, and system vendors with a widely used environment for standardizing application presentation on a wide range of platforms.

This library provides useful functions commonly found on BSD systems, and lacking on others like GNU systems, thus making it easier to port projects with strong BSD origins, without needing to embed the same code over and over again on each project.

Pycanberra is a basic Python wrapper for libcanberra.

Libcanberra is an implementation of the XDG Sound Theme and Name Specifications, for generating event sounds on free desktops, such as GNOME. It comes with several backends (ALSA, PulseAudio, OSS, GStreamer, null) and is designed to be portable.

This package provides audio samples that can be used by libcanberra as sounds for various system events.

Libdaemon is a lightweight C library that eases the writing of UNIX daemons. It consists of the following parts:

• A wrapper around fork() which does the correct daemonization procedure of a process

• A wrapper around syslog() for simpler and compatible log output to Syslog or STDERR

• An API for writing PID files

• An API for serializing UNIX signals into a pipe for usage with select() or poll()

• An API for running subprocesses with STDOUT and STDERR redirected to syslog.

APIs like these are used in most daemon software available. It is not that simple to get it done right and code duplication is not a goal.

editline is a small line editing library. It can be linked into almost any program to provide command line editing and history functions. It is call compatible with the GNU Readline library, but at a fraction of the size, and as a result fewer features.

This is an autotool- and libtoolized port of the NetBSD Editline library (libedit). This Berkeley-style licensed command line editor library provides generic line editing, history, and tokenization functions, similar to those found in GNU Readline.

The libevent API provides a mechanism to execute a callback function when a specific event occurs on a file descriptor or after a timeout has been reached. Furthermore, libevent also support callbacks due to signals or regular timeouts.

libevent is meant to replace the event loop found in event driven network servers. An application just needs to call event_dispatch() and then add or remove events dynamically without having to change the event loop.

The libevent API provides a mechanism to execute a callback function when a specific event occurs on a file descriptor or after a timeout has been reached. Furthermore, libevent also support callbacks due to signals or regular timeouts.

libevent is meant to replace the event loop found in event driven network servers. An application just needs to call event_dispatch() and then add or remove events dynamically without having to change the event loop.

RPC::EPC::Service enables to connect the other process with the S-expression protocol, like the Swank protocol of the SLIME.

libuv is a multi-platform support library with a focus on asynchronous I/O. Among other things, it supports event loops via epoll, kqueue, and similar IOCP, and event ports, asynchronous TCP/UDP sockets, asynchronous DNS resolution, asynchronous file system operations, and threading primitives.

libuv is a multi-platform support library with a focus on asynchronous I/O. Among other things, it supports event loops via epoll, kqueue, and similar IOCP, and event ports, asynchronous TCP/UDP sockets, asynchronous DNS resolution, asynchronous file system operations, and threading primitives.

libuv is a multi-platform support library with a focus on asynchronous I/O. Among other things, it supports event loops via epoll, kqueue, and similar IOCP, and event ports, asynchronous TCP/UDP sockets, asynchronous DNS resolution, asynchronous file system operations, and threading primitives.

This module allows using a variety of events without forcing module authors to pick a specific event loop, and without noticeable overhead. Currently supported event loops are EV, Event, Glib/Gtk2, Tk, Qt, Event::Lib, Irssi, IO::Async and POE (and thus also WxWidgets and Prima). It also comes with a very fast Pure Perl event loop that does not rely on XS.

libev provides a full-featured and high-performance event loop that is loosely modelled after libevent. It includes relative timers, absolute timers with customized rescheduling, synchronous signals, process status change events, event watchers dealing with the event loop itself, file watchers, and limited support for fork events.