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 webring send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.
TypeScript is a language for application scale JavaScript development
Yasr is a general-purpose console screen reader for GNU/Linux and other Unix-like operating systems
SQIR is a Small Quantum Intermediate Representation for quantum programs. Its intended use is as an intermediate representation in a Verified Optimizer for Quantum Circuits (VOQC), but we have also used it to implement verified versions of several quantum algorithms.
SQIR is a Small Quantum Intermediate Representation for quantum programs. Its intended use is as an intermediate representation in a Verified Optimizer for Quantum Circuits (VOQC), but we have also used it to implement verified versions of several quantum algorithms.
QuantumLib is a Coq library for verifying the ZX Calculus.
This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories.
This package provides a collection of theories and plugins that may be useful in other Coq developments.
inQWIRE's QuantumLib is a Coq library for reasoning about quantum computation and quantum programs.
This package provides a completion system for mathematical symbols.
Provides font-lock, REPL integration ( via comint ) and a basic help documentation for the J programming language.
Emacs major-mode for editing GAP files.
Emacs major mode for editing Agda code embedded in Org (.lagda.org) files
This package contains the non-functional data for the Speed Dreams racing game.
Speed Dreams is a car racing simulator featuring high-quality 3D graphics and an accurate physics engine, aiming for maximum realism. Initially forked from TORCS, it features improvements to the graphics and physics simulation, and supports modern input methods such as gamepads by use of the SDL library. It features more than 20 tracks and more than 80 cars to race with. Extra (freely licensed) assets can be downloaded via the in-game download manager.
PolyGlot is a "UCI adapter". It connects a UCI chess engine to an xboard interface.
PolyGlot tries to solve known problems with other adapters. For instance, it detects and reports draws by fifty-move rule, repetition, etc...
QVGE is a multiplatform graph editor written in C++/Qt. Its main goal is to make possible visually edit two-dimensional graphs in a simple and intuitive way.
Context Free is a program that generates images from written instructions called a grammar. The program follows the instructions in a few seconds to create images that can contain millions of shapes.
Alga is a library for algebraic construction and manipulation of graphs in Haskell.
A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.
This is a Haskell module for PortMidi audio library, which supports real-time MIDI input and output.
Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to eager input generation as in SmallCheck,Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.
Parses .eventlog files emitted by GHC 8.0.2 and later. Includes the ghc-events tool permitting, in particular, to dump an event log file as text.
This is the core library of the Gtk2Hs suite of libraries for Haskell based on Gtk+. Gtk+ is an extensive and mature multi-platform toolkit for creating graphical user interfaces.
Euterpea is a domain-specific language embedded in Haskell for computer music research, education, and development, providing both note-level and signal-level abstractions. It is a descendant of Haskore and HasSound, and is intended for both educational purposes as well as serious computer music applications. Euterpea is a wide-spectrum DSL, suitable for high-level music representation, algorithmic composition, and analysis; mid-level concepts such as MIDI; and low-level audio processing, sound synthesis, and instrument design.