Hime is an extremely easy-to-use input method framework. It is lightweight, stable, powerful and supports many commonly used input methods, including Cangjie, Zhuyin, Dayi, Ranked, Shrimp, Greek, Anthy, Korean, Latin, Random Cage Fighting Birds, Cool Music etc.

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.

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.

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.

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.

T1 is currently one of the best neural networks for Leela Chess Zero, however, it was superseded by the neural network T2.

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.

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.

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

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.

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.

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

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

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.

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.