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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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 provides an interface to libev, a high performance full-featured event loop. It can be used through the AnyEvent module and still be faster than other event loops currently supported in Perl.

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.