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.
Build a lowerable object OBJ.
Returns file's content as a string.
Configure Agda for Emacs. If deactivate-input-method? is #t, do not use Agda's input method for writing various symbols like ∀≥ℕ→π⟦⟧.
Set up Android-related tooling.
Provides missing packages and other fixes for rde usage on foreign distro.
Allows to specify additional System and Home Services. PREFIX should be a symbol, which will be used to construct feature name.
Provides basic information about user for all features.
Provides base packages and allows to specify additional standalone packages for home-environment, or operating-system, or both. Standalone means that packages do not require configuration and not installed by system or home services.
Provides desktop system services.
Provides values, which will affect other features, making them more HiDPI friendly.
Provides base system services.
Setup and configure Transmission and transmission.el
Configure and set up Bluetooth.
Setup and configure an environment for Clojure. If you want Leiningen support, make sure to pass in the LEININGEN package.
Configure distrobox, shell prompt for it and add a few minor tweaks.
Install and configure rootless podman. Be aware that this podman configuration relies on btrfs.
Configure the PostgreSQL relational database.