Enter the query into the form above.
API method:
GET /api/symbols?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.
Return the binary representation of base32 string S as a bytevector.
Return a base32 encoding of BV using BASE32-CHARS as the alphabet.
Return a base32 encoding of BV using BASE32-CHARS as the alphabet.
Return the number of quintets (including truncated ones) available in BV.
Build the given Agda package, applying all of PHASES in order.
Build the given Android NDK package, applying all of PHASES in order.
Fetch packages according to the manifest at MANIFEST-URL with MANIFEST-REVISION. MANIFEST-REVISION must be either a revision or a branch. Return #t on success, #f otherwise.
Build the given Java package, applying all of PHASES in order.