Enter the query into the form above. You can look for specific version of a package by using @ symbol like this: gcc@10.
API method:
GET /api/packages?search=hello&page=1&limit=20
where search is your query, page is a page number and limit is a number of items on a single page. Pagination information (such as a number of pages and etc) is returned
in response headers.
If you'd like to join our channel search send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.
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 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.
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 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.
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.
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.
LeanSearchClient provides syntax for search using the leansearch API and the LeanStateSearch API from within Lean. It allows you to search for Lean tactics and theorems using natural language. It also allows searches on Loogle from within Lean.
Mathlib is a user maintained library for the Lean theorem prover. It contains both programming infrastructure and mathematics, as well as tactics that use the former and allow to develop the latter.
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.
Cli is a Lean 4 library for configuring Command Line Interfaces and parsing command line arguments. Commands are configured with a lightweight DSL.
Aesop is a proof tactic for Lean 4 that is broadly similar to Isabelle's auto. Definitions can be tagged with @[aesop]. The aesop tactic will use these tagged definitions to attempt to automatically prove goals.
This package provides a tool to create import graphs of Lake packages (Lean projects) in the Graphviz/dot format or as HTML.
This package contains leanproject, a supporting tool for Lean mathlib, a mathematical library for the Lean theorem prover.
Batteries is the the "batteries included" extended library for Lean 4. This is a collection of data structures and tactics intended for use by both computer-science applications and mathematics applications of Lean 4.
This package implements type-safe expression quotations, which are a way of constructing object-level expressions (Expr) in meta-level code.