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.
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 values, which will affect other features, making them more HiDPI friendly.
Provides desktop system services.
Allows to specify additional System and Home Services. PREFIX should be a symbol, which will be used to construct feature name.
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 missing packages and other fixes for rde usage on foreign distro.
Provides base system services.
Provides basic information about user for all features.
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 SQLite relational database.
Configure the PostgreSQL relational database.
Setup and configure Difftastic, a structural diff tool.