This is an official neural network of a ``main run'' of the Leela Chess Zero project. The network was finished being trained in September of 2023.

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.

Leela Chess Zero is a UCI-compliant chess engine designed to play chess using neural networks. This package does not provide a neural network, which is necessary to use Leela Chess Zero and should be installed separately.

T2 is currently one of the best neural networks for Leela Chess Zero, superseding the neural network T1.

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.

This is an official neural network of a ``main run'' of the Leela Chess Zero project that was finished being trained in January of 2022.

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.

This is an official neural network of the Leela Chess Zero project that was finished being trained in April of 2022.

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.

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.

This is a smaller version of the T1 neural network, which is currently one of the best neural networks for Leela Chess Zero.

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.

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.

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.

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.