_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/

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.


ocaml-mirage 4.3.3
Propagated dependencies: ocaml-astring@0.8.5 ocaml-bos@0.2.1 ocaml-functoria@4.3.3 ocaml-ipaddr@5.3.1 ocaml-logs@0.7.0 ocaml-mirage-runtime@4.3.3 ocaml-opam-monorepo@0.3.5
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/mirage/mirage
Licenses: ISC
Synopsis: The MirageOS library operating system
Description:

Library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS and then compiled into a fully-standalone, specialised unikernel.

dedukti 2.7
Dependencies: gmp@6.3.0 ocaml-cmdliner@1.1.1 ocaml-z3@4.13.0 z3@4.13.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://deducteam.github.io/
Licenses: CeCILL-C
Synopsis: Proof-checker for the λΠ-calculus modulo theory, an extension of the λ-calculus
Description:

Dedukti is a proof-checker for the λΠ-calculus modulo theory. The λΠ-calculus is an extension of the simply typed λ-calculus with dependent types. The λΠ-calculus modulo theory is itself an extension of the λΠ-calculus where the context contains variable declaration as well as rewrite rules. This system is not designed to develop proofs, but to check proofs developed in other systems. In particular, it enjoys a minimalistic syntax.

ocaml-mirage-xen 8.0.1
Propagated dependencies: ocaml-cstruct@6.1.1 ocaml-lwt@5.6.1 ocaml-shared-memory-ring-lwt@3.1.1 ocaml-xenstore@2.2.0 ocaml-lwt-dllist@1.0.1 ocaml-io-page@3.0.0 ocaml-mirage-runtime@4.3.3 ocaml-logs@0.7.0 ocaml-fmt@0.9.0 ocaml-bheap@2.0.0 ocaml-duration@0.2.1
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/mirage/mirage-xen
Licenses: ISC
Synopsis: Xen core platform libraries for MirageOS
Description:

MirageOS OS library for Xen targets, which handles the main loop and timers. It also provides the low level C startup code and C stubs required by the OCaml code.

ocaml-zarith 1.12
Dependencies: gmp@6.3.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://forge.ocamlcore.org/projects/zarith/
Licenses: LGPL 2.1+
Synopsis: Implements arbitrary-precision integers
Description:

Implements arithmetic and logical operations over arbitrary-precision integers. It uses GMP to efficiently implement arithmetic over big integers. Small integers are represented as Caml unboxed integers, for speed and space economy.

ocamlc-loc 3.19.1
Propagated dependencies: dune-dyn@3.19.1 ocaml-odoc@2.2.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Parse ocaml compiler output into structured form
Description:

This library parses ocaml compiler output and returns it as ocaml values. This library offers no backwards compatibility guarantees.

ocaml-ppx-optcomp 0.15.0
Propagated dependencies: ocaml-base@0.15.0 ocaml-stdio@0.15.0 ocaml-ppxlib@0.28.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/janestreet/ppx_optcomp
Licenses: ASL 2.0
Synopsis: Optional compilation for OCaml
Description:

Ppx_optcomp stands for Optional Compilation. It is a tool used to handle optional compilations of pieces of code depending of the word size, the version of the compiler, ...

ocaml-core-kernel 0.15.0
Propagated dependencies: ocaml-base@0.15.0 ocaml-core@0.15.1 ocaml-int-repr@0.15.0 ocaml-ppx-jane@0.15.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/janestreet/core_kernel
Licenses: Expat
Synopsis: Portable standard library for OCaml
Description:

Core is an alternative to the OCaml standard library.

Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript.

ocaml-topkg 1.0.6
Propagated dependencies: ocaml-result@1.5
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://erratique.ch/software/topkg
Licenses: ISC
Synopsis: Transitory OCaml software packager
Description:

Topkg is a packager for distributing OCaml software. It provides an API to describe the files a package installs in a given build configuration and to specify information about the package's distribution, creation and publication procedures.

ocaml5.0-base 0.15.0-0.423dbad
Propagated dependencies: ocaml5.0-sexplib0@0.15.1
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/janestreet/base
Licenses: Expat
Synopsis: Full standard library replacement for OCaml
Description:

Base is a complete and portable alternative to the OCaml standard library. It provides all standard functionalities one would expect from a language standard library. It uses consistent conventions across all of its module.

Base aims to be usable in any context. As a result system dependent features such as I/O are not offered by Base. They are instead provided by companion libraries such as ocaml-stdio.

ocaml-merlin-lib 4.14-414
Propagated dependencies: ocaml-csexp@1.5.1 ocaml-menhir@20220210
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://ocaml.github.io/merlin/
Licenses: Expat
Synopsis: Merlin libraries
Description:

These libraries provides access to low-level compiler interfaces and the standard higher-level merlin protocol.

ocaml-guile 1.0
Dependencies: guile@3.0.9 libffi@3.4.6
Propagated dependencies: ocaml-sexplib@0.16.0 ocaml-ctypes@0.23.0 ocaml-stdio@0.15.0 ocaml-odoc@2.2.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/gopiandcode/guile-ocaml
Licenses: GPL 3+
Synopsis: Bindings to GNU Guile Scheme for OCaml
Description:

The OCaml guile library provides high-level OCaml bindings to GNU Guile 3.0, supporting easy interop between OCaml and GNU Guile Scheme.

ocaml-mew-vi 0.5.0
Propagated dependencies: ocaml-mew@0.1.0 ocaml-react@1.2.2
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/kandu/mew_vi
Licenses: Expat
Synopsis: Modal editing VI-like editing engine generator
Description:

This module provides a vi-like modal editing engine generator.

ocaml5.0-findlib 1.9.5
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: http://projects.camlcity.org/projects/findlib.html
Licenses: X11
Synopsis: Management tool for OCaml libraries
Description:

The "findlib" library provides a scheme to manage reusable software components (packages), and includes tools that support this scheme. Packages are collections of OCaml modules for which metainformation can be stored. The packages are kept in the file system hierarchy, but with strict directory structure. The library contains functions to look the directory up that stores a package, to query metainformation about a package, and to retrieve dependency information about multiple packages. There is also a tool that allows the user to enter queries on the command-line. In order to simplify compilation and linkage, there are new frontends of the various OCaml compilers that can directly deal with packages.

ocaml4.09-dune-configurator 3.19.1
Propagated dependencies: ocaml4.09-csexp@1.5.1
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: Dune helper library for gathering system configuration
Description:

Dune-configurator is a small library that helps writing OCaml scripts that test features available on the system, in order to generate config.h files for instance. Among other things, dune-configurator allows one to:

  • test if a C program compiles

  • query pkg-config

  • import #define from OCaml header files

  • generate config.h file

ocaml-ounit2 2.2.6
Propagated dependencies: ocaml-lwt@5.6.1 ocaml-stdlib-shims@0.3.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/gildor478/ounit
Licenses: Expat
Synopsis: Unit testing framework for OCaml
Description:

OUnit2 is a unit testing framework for OCaml. It is similar to JUnit and other XUnit testing frameworks.

ocaml-batteries 3.5.1
Propagated dependencies: ocaml-num@1.4
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: http://batteries.forge.ocamlcore.org/
Licenses: LGPL 2.1+
Synopsis: Development platform for the OCaml programming language
Description:

Define a standard set of libraries which may be expected on every compliant installation of OCaml and organize these libraries into a hierarchy of modules.

ocaml5.0-dot-merlin-reader 4.14-500
Propagated dependencies: ocaml5.0-merlin-lib@4.14-500
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://ocaml.github.io/merlin/
Licenses: Expat
Synopsis: Reads config files for @code{ocaml-merlin}
Description:

ocaml-dot-merlin-reader is an external reader for ocaml-merlin configurations.

ocaml-cppo 1.6.9
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/mjambon/cppo
Licenses: Modified BSD
Synopsis: Equivalent of the C preprocessor for OCaml programs
Description:

Cppo is an equivalent of the C preprocessor for OCaml programs. It allows the definition of simple macros and file inclusion. Cppo is:

  1. more OCaml-friendly than cpp

  2. easy to learn without consulting a manual

  3. reasonably fast

  4. simple to install and to maintain.

ocaml-syntax-shims 1.0.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml-ppx/ocaml-syntax-shims
Licenses: Expat
Synopsis: Backport new syntax to older OCaml versions
Description:

This package backports new language features such as let+ to older OCaml compilers.

ocaml5.0-merlin 4.14-500
Propagated dependencies: ocaml5.0-merlin-lib@4.14-500 ocaml5.0-yojson@2.0.2
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://ocaml.github.io/merlin/
Licenses: Expat
Synopsis: Context sensitive completion for OCaml in Vim and Emacs
Description:

Merlin is an editor service that provides modern IDE features for OCaml. Emacs and Vim support is provided out-of-the-box. External contributors added support for Visual Studio Code, Sublime Text and Atom.

ocaml4.07-dune 1.11.3
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocaml/dune
Licenses: Expat
Synopsis: OCaml build system
Description:

Dune is a build system for OCaml. It provides a consistent experience and takes care of the low-level details of OCaml compilation. Descriptions of projects, libraries and executables are provided in dune files following an s-expression syntax.

ocaml-ptime 0.8.5
Propagated dependencies: ocaml-result@1.5 js-of-ocaml@4.1.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://erratique.ch/software/ptime
Licenses: ISC
Synopsis: POSIX time for OCaml
Description:

Ptime offers platform independent POSIX time support in pure OCaml. It provides a type to represent a well-defined range of POSIX timestamps with picosecond precision, conversion with date-time values, conversion with RFC 3339 timestamps and pretty printing to a human-readable, locale-independent representation.

ocaml-version 3.5.0
Channel: guix
Location: gnu/packages/ocaml.scm (gnu packages ocaml)
Home page: https://github.com/ocurrent/ocaml-version
Licenses: ISC
Synopsis: Manipulate, parse and generate OCaml compiler version strings
Description:

This library provides facilities to parse version numbers of the OCaml compiler, and enumerates the various official OCaml releases and configuration variants.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109