Round 531-540: Blockchain, IoT, robotics, bioinformatics, chemistry, astronomy, proof assistants, quantum computing (200 commands)
ober
500517ea3f09f2a700537fe34deecdf96b8f3e62
--- a/docs/jemacs-vs-emacs.md +++ b/docs/jemacs-vs-emacs.md @@ -4583,6 +4583,256 @@ No remaining Tier 1 gaps. All core editing, completion, and navigation features | ebib-import-file | :orange_circle: | Import file into Ebib | | ebib-push-citation | :orange_circle: | Push Ebib citation to buffer | +### Round 540 — Lean 4, Agda ext, Qiskit, Cirq + +| Feature | Status | Notes | +|---------|--------|-------| +| `lean4-theorem` | :orange_circle: Scaffolded | Lean 4: theorem | +| `lean4-tactic` | :orange_circle: Scaffolded | Lean 4: tactic | +| `lean4-structure` | :orange_circle: Scaffolded | Lean 4: structure | +| `lean4-instance` | :orange_circle: Scaffolded | Lean 4: instance | +| `lean4-simp` | :orange_circle: Scaffolded | Lean 4: simp tactic | +| `agda-typecheck` | :orange_circle: Scaffolded | Agda: type check | +| `agda-normalize` | :orange_circle: Scaffolded | Agda: normalize | +| `agda-case` | :orange_circle: Scaffolded | Agda: case split | +| `agda-goal` | :orange_circle: Scaffolded | Agda: goal type | +| `agda-solve` | :orange_circle: Scaffolded | Agda: solve constraints | +| `qiskit-circuit` | :orange_circle: Scaffolded | Qiskit: circuit | +| `qiskit-backend` | :orange_circle: Scaffolded | Qiskit: backend | +| `qiskit-transpile` | :orange_circle: Scaffolded | Qiskit: transpile | +| `qiskit-execute` | :orange_circle: Scaffolded | Qiskit: execute | +| `qiskit-noise` | :orange_circle: Scaffolded | Qiskit: noise model | +| `cirq-circuit` | :orange_circle: Scaffolded | Cirq: circuit | +| `cirq-simulate` | :orange_circle: Scaffolded | Cirq: simulate | +| `cirq-optimize` | :orange_circle: Scaffolded | Cirq: optimize | +| `cirq-measure` | :orange_circle: Scaffolded | Cirq: measure | +| `cirq-noise` | :orange_circle: Scaffolded | Cirq: noise model | + +### Round 539 — Gaussian, ORCA, TOPCAT, Coq + +| Feature | Status | Notes | +|---------|--------|-------| +| `gaussian-input` | :orange_circle: Scaffolded | Gaussian: input file | +| `gaussian-submit` | :orange_circle: Scaffolded | Gaussian: submit job | +| `gaussian-output` | :orange_circle: Scaffolded | Gaussian: parse output | +| `gaussian-freq` | :orange_circle: Scaffolded | Gaussian: frequency | +| `gaussian-opt` | :orange_circle: Scaffolded | Gaussian: optimization | +| `orca-input` | :orange_circle: Scaffolded | ORCA: input file | +| `orca-submit` | :orange_circle: Scaffolded | ORCA: submit job | +| `orca-output` | :orange_circle: Scaffolded | ORCA: parse output | +| `orca-geometry` | :orange_circle: Scaffolded | ORCA: geometry | +| `orca-property` | :orange_circle: Scaffolded | ORCA: properties | +| `topcat-table` | :orange_circle: Scaffolded | TOPCAT: table viewer | +| `topcat-match` | :orange_circle: Scaffolded | TOPCAT: cross-match | +| `topcat-plot` | :orange_circle: Scaffolded | TOPCAT: plot | +| `topcat-filter` | :orange_circle: Scaffolded | TOPCAT: filter rows | +| `topcat-join` | :orange_circle: Scaffolded | TOPCAT: join tables | +| `coq-proof` | :orange_circle: Scaffolded | Coq: proof mode | +| `coq-tactic` | :orange_circle: Scaffolded | Coq: tactics | +| `coq-lemma` | :orange_circle: Scaffolded | Coq: lemma | +| `coq-definition` | :orange_circle: Scaffolded | Coq: definition | +| `coq-inductive` | :orange_circle: Scaffolded | Coq: inductive type | + +### Round 538 — Astropy, Stellarium, DS9, Aladin + +| Feature | Status | Notes | +|---------|--------|-------| +| `astropy-table` | :orange_circle: Scaffolded | Astropy: table operations | +| `astropy-coords` | :orange_circle: Scaffolded | Astropy: coordinates | +| `astropy-fits` | :orange_circle: Scaffolded | Astropy: FITS files | +| `astropy-units` | :orange_circle: Scaffolded | Astropy: units | +| `astropy-cosmology` | :orange_circle: Scaffolded | Astropy: cosmology | +| `stellarium-search` | :orange_circle: Scaffolded | Stellarium: search objects | +| `stellarium-script` | :orange_circle: Scaffolded | Stellarium: scripting | +| `stellarium-plugin` | :orange_circle: Scaffolded | Stellarium: plugins | +| `stellarium-landscape` | :orange_circle: Scaffolded | Stellarium: landscape | +| `stellarium-projection` | :orange_circle: Scaffolded | Stellarium: projection | +| `ds9-open` | :orange_circle: Scaffolded | DS9: open FITS | +| `ds9-region` | :orange_circle: Scaffolded | DS9: regions | +| `ds9-colormap` | :orange_circle: Scaffolded | DS9: colormap | +| `ds9-contour` | :orange_circle: Scaffolded | DS9: contours | +| `ds9-analysis` | :orange_circle: Scaffolded | DS9: analysis | +| `aladin-survey` | :orange_circle: Scaffolded | Aladin: survey | +| `aladin-catalog` | :orange_circle: Scaffolded | Aladin: catalog | +| `aladin-overlay` | :orange_circle: Scaffolded | Aladin: overlay | +| `aladin-filter` | :orange_circle: Scaffolded | Aladin: filter | +| `aladin-script` | :orange_circle: Scaffolded | Aladin: scripting | + +### Round 537 — BWA, RDKit, Open Babel, Avogadro + +| Feature | Status | Notes | +|---------|--------|-------| +| `bwa-mem` | :orange_circle: Scaffolded | BWA: mem alignment | +| `bwa-index` | :orange_circle: Scaffolded | BWA: index reference | +| `bwa-align` | :orange_circle: Scaffolded | BWA: align reads | +| `bwa-sampe` | :orange_circle: Scaffolded | BWA: paired-end | +| `bwa-aln` | :orange_circle: Scaffolded | BWA: aln mode | +| `rdkit-molecule` | :orange_circle: Scaffolded | RDKit: molecule | +| `rdkit-fingerprint` | :orange_circle: Scaffolded | RDKit: fingerprint | +| `rdkit-descriptor` | :orange_circle: Scaffolded | RDKit: descriptors | +| `rdkit-similarity` | :orange_circle: Scaffolded | RDKit: similarity | +| `rdkit-scaffold` | :orange_circle: Scaffolded | RDKit: scaffold | +| `openbabel-convert` | :orange_circle: Scaffolded | Open Babel: convert | +| `openbabel-minimize` | :orange_circle: Scaffolded | Open Babel: minimize | +| `openbabel-generate` | :orange_circle: Scaffolded | Open Babel: generate 3D | +| `openbabel-filter` | :orange_circle: Scaffolded | Open Babel: filter | +| `openbabel-align` | :orange_circle: Scaffolded | Open Babel: align | +| `avogadro-build` | :orange_circle: Scaffolded | Avogadro: build molecule | +| `avogadro-optimize` | :orange_circle: Scaffolded | Avogadro: optimize geometry | +| `avogadro-measure` | :orange_circle: Scaffolded | Avogadro: measure | +| `avogadro-render` | :orange_circle: Scaffolded | Avogadro: render | +| `avogadro-surface` | :orange_circle: Scaffolded | Avogadro: surfaces | + +### Round 536 — SAMtools, BCFtools, BEDtools, BLAST + +| Feature | Status | Notes | +|---------|--------|-------| +| `samtools-view` | :orange_circle: Scaffolded | SAMtools: view alignments | +| `samtools-sort` | :orange_circle: Scaffolded | SAMtools: sort | +| `samtools-index` | :orange_circle: Scaffolded | SAMtools: index | +| `samtools-flagstat` | :orange_circle: Scaffolded | SAMtools: flagstat | +| `samtools-depth` | :orange_circle: Scaffolded | SAMtools: depth | +| `bcftools-call` | :orange_circle: Scaffolded | BCFtools: variant calling | +| `bcftools-filter` | :orange_circle: Scaffolded | BCFtools: filter variants | +| `bcftools-merge` | :orange_circle: Scaffolded | BCFtools: merge VCFs | +| `bcftools-stats` | :orange_circle: Scaffolded | BCFtools: statistics | +| `bcftools-annotate` | :orange_circle: Scaffolded | BCFtools: annotate | +| `bedtools-intersect` | :orange_circle: Scaffolded | BEDtools: intersect | +| `bedtools-merge` | :orange_circle: Scaffolded | BEDtools: merge | +| `bedtools-coverage` | :orange_circle: Scaffolded | BEDtools: coverage | +| `bedtools-closest` | :orange_circle: Scaffolded | BEDtools: closest | +| `bedtools-subtract` | :orange_circle: Scaffolded | BEDtools: subtract | +| `blast-search` | :orange_circle: Scaffolded | BLAST: search | +| `blast-db` | :orange_circle: Scaffolded | BLAST: database | +| `blast-format` | :orange_circle: Scaffolded | BLAST: format output | +| `blast-align` | :orange_circle: Scaffolded | BLAST: alignment | +| `blast-filter` | :orange_circle: Scaffolded | BLAST: filter results | + +### Round 535 — Gazebo, Webots, Isaac Sim, CARLA + +| Feature | Status | Notes | +|---------|--------|-------| +| `gazebo-world` | :orange_circle: Scaffolded | Gazebo: world editor | +| `gazebo-model` | :orange_circle: Scaffolded | Gazebo: model editor | +| `gazebo-plugin` | :orange_circle: Scaffolded | Gazebo: plugins | +| `gazebo-sensor` | :orange_circle: Scaffolded | Gazebo: sensors | +| `gazebo-physics` | :orange_circle: Scaffolded | Gazebo: physics engine | +| `webots-world` | :orange_circle: Scaffolded | Webots: world | +| `webots-controller` | :orange_circle: Scaffolded | Webots: controller | +| `webots-supervisor` | :orange_circle: Scaffolded | Webots: supervisor | +| `webots-field` | :orange_circle: Scaffolded | Webots: field access | +| `webots-export` | :orange_circle: Scaffolded | Webots: export scene | +| `isaac-sim` | :orange_circle: Scaffolded | Isaac Sim: simulation | +| `isaac-gym` | :orange_circle: Scaffolded | Isaac Gym: RL training | +| `isaac-orbit` | :orange_circle: Scaffolded | Isaac Orbit: framework | +| `isaac-sensor` | :orange_circle: Scaffolded | Isaac: sensor sim | +| `isaac-robot` | :orange_circle: Scaffolded | Isaac: robot model | +| `carla-world` | :orange_circle: Scaffolded | CARLA: world settings | +| `carla-vehicle` | :orange_circle: Scaffolded | CARLA: vehicle control | +| `carla-sensor` | :orange_circle: Scaffolded | CARLA: sensor config | +| `carla-weather` | :orange_circle: Scaffolded | CARLA: weather | +| `carla-traffic` | :orange_circle: Scaffolded | CARLA: traffic manager | + +### Round 534 — LwM2M, OPC UA, Modbus, ROS 2 + +| Feature | Status | Notes | +|---------|--------|-------| +| `lwm2m-register` | :orange_circle: Scaffolded | LwM2M: register device | +| `lwm2m-discover` | :orange_circle: Scaffolded | LwM2M: discover resources | +| `lwm2m-read` | :orange_circle: Scaffolded | LwM2M: read resource | +| `lwm2m-write` | :orange_circle: Scaffolded | LwM2M: write resource | +| `lwm2m-execute` | :orange_circle: Scaffolded | LwM2M: execute resource | +| `opcua-browse` | :orange_circle: Scaffolded | OPC UA: browse nodes | +| `opcua-read` | :orange_circle: Scaffolded | OPC UA: read value | +| `opcua-write` | :orange_circle: Scaffolded | OPC UA: write value | +| `opcua-subscribe` | :orange_circle: Scaffolded | OPC UA: subscribe | +| `opcua-method` | :orange_circle: Scaffolded | OPC UA: call method | +| `modbus-read` | :orange_circle: Scaffolded | Modbus: read registers | +| `modbus-write` | :orange_circle: Scaffolded | Modbus: write registers | +| `modbus-scan` | :orange_circle: Scaffolded | Modbus: scan devices | +| `modbus-monitor` | :orange_circle: Scaffolded | Modbus: monitor traffic | +| `modbus-simulate` | :orange_circle: Scaffolded | Modbus: simulator | +| `ros2-topic` | :orange_circle: Scaffolded | ROS 2: topics | +| `ros2-service` | :orange_circle: Scaffolded | ROS 2: services | +| `ros2-action` | :orange_circle: Scaffolded | ROS 2: actions | +| `ros2-param` | :orange_circle: Scaffolded | ROS 2: parameters | +| `ros2-launch` | :orange_circle: Scaffolded | ROS 2: launch | + +### Round 533 — Move, Cairo, Mosquitto, CoAP + +| Feature | Status | Notes | +|---------|--------|-------| +| `move-build` | :orange_circle: Scaffolded | Move: build | +| `move-test` | :orange_circle: Scaffolded | Move: test | +| `move-publish` | :orange_circle: Scaffolded | Move: publish | +| `move-prove` | :orange_circle: Scaffolded | Move: prove | +| `move-compile` | :orange_circle: Scaffolded | Move: compile | +| `cairo-compile` | :orange_circle: Scaffolded | Cairo: compile | +| `cairo-run` | :orange_circle: Scaffolded | Cairo: run | +| `cairo-test` | :orange_circle: Scaffolded | Cairo: test | +| `cairo-format` | :orange_circle: Scaffolded | Cairo: format | +| `cairo-prove` | :orange_circle: Scaffolded | Cairo: prove | +| `mosquitto-pub` | :orange_circle: Scaffolded | Mosquitto: publish | +| `mosquitto-sub` | :orange_circle: Scaffolded | Mosquitto: subscribe | +| `mosquitto-bridge` | :orange_circle: Scaffolded | Mosquitto: bridge | +| `mosquitto-config` | :orange_circle: Scaffolded | Mosquitto: config | +| `mosquitto-passwd` | :orange_circle: Scaffolded | Mosquitto: passwords | +| `coap-get` | :orange_circle: Scaffolded | CoAP: GET request | +| `coap-post` | :orange_circle: Scaffolded | CoAP: POST request | +| `coap-put` | :orange_circle: Scaffolded | CoAP: PUT request | +| `coap-delete` | :orange_circle: Scaffolded | CoAP: DELETE request | +| `coap-observe` | :orange_circle: Scaffolded | CoAP: observe resource | + +### Round 532 — Brownie, Anchor, Substrate, CosmWasm + +| Feature | Status | Notes | +|---------|--------|-------| +| `brownie-compile` | :orange_circle: Scaffolded | Brownie: compile | +| `brownie-test` | :orange_circle: Scaffolded | Brownie: test | +| `brownie-run` | :orange_circle: Scaffolded | Brownie: run script | +| `brownie-console` | :orange_circle: Scaffolded | Brownie: console | +| `brownie-network` | :orange_circle: Scaffolded | Brownie: network | +| `anchor-build` | :orange_circle: Scaffolded | Anchor: build | +| `anchor-test` | :orange_circle: Scaffolded | Anchor: test | +| `anchor-deploy` | :orange_circle: Scaffolded | Anchor: deploy | +| `anchor-init` | :orange_circle: Scaffolded | Anchor: init project | +| `anchor-verify` | :orange_circle: Scaffolded | Anchor: verify | +| `substrate-build` | :orange_circle: Scaffolded | Substrate: build | +| `substrate-test` | :orange_circle: Scaffolded | Substrate: test | +| `substrate-purge` | :orange_circle: Scaffolded | Substrate: purge chain | +| `substrate-key` | :orange_circle: Scaffolded | Substrate: key management | +| `substrate-benchmark` | :orange_circle: Scaffolded | Substrate: benchmark | +| `cosmwasm-build` | :orange_circle: Scaffolded | CosmWasm: build | +| `cosmwasm-test` | :orange_circle: Scaffolded | CosmWasm: test | +| `cosmwasm-deploy` | :orange_circle: Scaffolded | CosmWasm: deploy | +| `cosmwasm-schema` | :orange_circle: Scaffolded | CosmWasm: schema | +| `cosmwasm-optimize` | :orange_circle: Scaffolded | CosmWasm: optimize | + +### Round 531 — Solidity, Hardhat, Foundry, Truffle + +| Feature | Status | Notes | +|---------|--------|-------| +| `solidity-compile` | :orange_circle: Scaffolded | Solidity: compile contracts | +| `solidity-test` | :orange_circle: Scaffolded | Solidity: run tests | +| `solidity-deploy` | :orange_circle: Scaffolded | Solidity: deploy contract | +| `solidity-verify` | :orange_circle: Scaffolded | Solidity: verify contract | +| `solidity-flatten` | :orange_circle: Scaffolded | Solidity: flatten sources | +| `hardhat-compile` | :orange_circle: Scaffolded | Hardhat: compile | +| `hardhat-test` | :orange_circle: Scaffolded | Hardhat: test | +| `hardhat-deploy` | :orange_circle: Scaffolded | Hardhat: deploy | +| `hardhat-node` | :orange_circle: Scaffolded | Hardhat: local node | +| `hardhat-verify` | :orange_circle: Scaffolded | Hardhat: verify | +| `foundry-build` | :orange_circle: Scaffolded | Foundry: build | +| `foundry-test` | :orange_circle: Scaffolded | Foundry: test | +| `foundry-deploy` | :orange_circle: Scaffolded | Foundry: deploy | +| `foundry-script` | :orange_circle: Scaffolded | Foundry: script | +| `foundry-cast` | :orange_circle: Scaffolded | Foundry: cast | +| `truffle-compile` | :orange_circle: Scaffolded | Truffle: compile | +| `truffle-test` | :orange_circle: Scaffolded | Truffle: test | +| `truffle-migrate` | :orange_circle: Scaffolded | Truffle: migrate | +| `truffle-console` | :orange_circle: Scaffolded | Truffle: console | +| `truffle-debug` | :orange_circle: Scaffolded | Truffle: debug | + ### Round 530 — Consul KV ext, FoundationDB, CockroachDB, YugabyteDB | Feature | Status | Notes | --- a/src/jerboa-emacs/editor-extra-final.ss +++ b/src/jerboa-emacs/editor-extra-final.ss @@ -33934,3 +33934,115 @@ (def (cmd-yugabytedb-master app) (let* ((echo (app-state-echo app))) (echo-message! echo "YugabyteDB: master"))) + +;; Round 532: Brownie, Anchor, Substrate, CosmWasm (20 commands) +(def (cmd-brownie-compile app) (let* ((echo (app-state-echo app))) (echo-message! echo "Brownie: compile"))) +(def (cmd-brownie-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Brownie: test"))) +(def (cmd-brownie-run app) (let* ((echo (app-state-echo app))) (echo-message! echo "Brownie: run script"))) +(def (cmd-brownie-console app) (let* ((echo (app-state-echo app))) (echo-message! echo "Brownie: console"))) +(def (cmd-brownie-network app) (let* ((echo (app-state-echo app))) (echo-message! echo "Brownie: network"))) +(def (cmd-anchor-build app) (let* ((echo (app-state-echo app))) (echo-message! echo "Anchor: build"))) +(def (cmd-anchor-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Anchor: test"))) +(def (cmd-anchor-deploy app) (let* ((echo (app-state-echo app))) (echo-message! echo "Anchor: deploy"))) +(def (cmd-anchor-init app) (let* ((echo (app-state-echo app))) (echo-message! echo "Anchor: init project"))) +(def (cmd-anchor-verify app) (let* ((echo (app-state-echo app))) (echo-message! echo "Anchor: verify"))) +(def (cmd-substrate-build app) (let* ((echo (app-state-echo app))) (echo-message! echo "Substrate: build"))) +(def (cmd-substrate-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Substrate: test"))) +(def (cmd-substrate-purge app) (let* ((echo (app-state-echo app))) (echo-message! echo "Substrate: purge chain"))) +(def (cmd-substrate-key app) (let* ((echo (app-state-echo app))) (echo-message! echo "Substrate: key management"))) +(def (cmd-substrate-benchmark app) (let* ((echo (app-state-echo app))) (echo-message! echo "Substrate: benchmark"))) +(def (cmd-cosmwasm-build app) (let* ((echo (app-state-echo app))) (echo-message! echo "CosmWasm: build"))) +(def (cmd-cosmwasm-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "CosmWasm: test"))) +(def (cmd-cosmwasm-deploy app) (let* ((echo (app-state-echo app))) (echo-message! echo "CosmWasm: deploy"))) +(def (cmd-cosmwasm-schema app) (let* ((echo (app-state-echo app))) (echo-message! echo "CosmWasm: schema"))) +(def (cmd-cosmwasm-optimize app) (let* ((echo (app-state-echo app))) (echo-message! echo "CosmWasm: optimize"))) + +;; Round 534: LwM2M, OPC UA, Modbus, ROS 2 (20 commands) +(def (cmd-lwm2m-register app) (let* ((echo (app-state-echo app))) (echo-message! echo "LwM2M: register device"))) +(def (cmd-lwm2m-discover app) (let* ((echo (app-state-echo app))) (echo-message! echo "LwM2M: discover resources"))) +(def (cmd-lwm2m-read app) (let* ((echo (app-state-echo app))) (echo-message! echo "LwM2M: read resource"))) +(def (cmd-lwm2m-write app) (let* ((echo (app-state-echo app))) (echo-message! echo "LwM2M: write resource"))) +(def (cmd-lwm2m-execute app) (let* ((echo (app-state-echo app))) (echo-message! echo "LwM2M: execute resource"))) +(def (cmd-opcua-browse app) (let* ((echo (app-state-echo app))) (echo-message! echo "OPC UA: browse nodes"))) +(def (cmd-opcua-read app) (let* ((echo (app-state-echo app))) (echo-message! echo "OPC UA: read value"))) +(def (cmd-opcua-write app) (let* ((echo (app-state-echo app))) (echo-message! echo "OPC UA: write value"))) +(def (cmd-opcua-subscribe app) (let* ((echo (app-state-echo app))) (echo-message! echo "OPC UA: subscribe"))) +(def (cmd-opcua-method app) (let* ((echo (app-state-echo app))) (echo-message! echo "OPC UA: call method"))) +(def (cmd-modbus-read app) (let* ((echo (app-state-echo app))) (echo-message! echo "Modbus: read registers"))) +(def (cmd-modbus-write app) (let* ((echo (app-state-echo app))) (echo-message! echo "Modbus: write registers"))) +(def (cmd-modbus-scan app) (let* ((echo (app-state-echo app))) (echo-message! echo "Modbus: scan devices"))) +(def (cmd-modbus-monitor app) (let* ((echo (app-state-echo app))) (echo-message! echo "Modbus: monitor traffic"))) +(def (cmd-modbus-simulate app) (let* ((echo (app-state-echo app))) (echo-message! echo "Modbus: simulator"))) +(def (cmd-ros2-topic app) (let* ((echo (app-state-echo app))) (echo-message! echo "ROS 2: topics"))) +(def (cmd-ros2-service app) (let* ((echo (app-state-echo app))) (echo-message! echo "ROS 2: services"))) +(def (cmd-ros2-action app) (let* ((echo (app-state-echo app))) (echo-message! echo "ROS 2: actions"))) +(def (cmd-ros2-param app) (let* ((echo (app-state-echo app))) (echo-message! echo "ROS 2: parameters"))) +(def (cmd-ros2-launch app) (let* ((echo (app-state-echo app))) (echo-message! echo "ROS 2: launch"))) + +;; Round 535 batch 2: Isaac Sim, CARLA (10 commands) +(def (cmd-isaac-sim app) (let* ((echo (app-state-echo app))) (echo-message! echo "Isaac Sim: simulation"))) +(def (cmd-isaac-gym app) (let* ((echo (app-state-echo app))) (echo-message! echo "Isaac Gym: RL training"))) +(def (cmd-isaac-orbit app) (let* ((echo (app-state-echo app))) (echo-message! echo "Isaac Orbit: framework"))) +(def (cmd-isaac-sensor app) (let* ((echo (app-state-echo app))) (echo-message! echo "Isaac: sensor sim"))) +(def (cmd-isaac-robot app) (let* ((echo (app-state-echo app))) (echo-message! echo "Isaac: robot model"))) +(def (cmd-carla-world app) (let* ((echo (app-state-echo app))) (echo-message! echo "CARLA: world settings"))) +(def (cmd-carla-vehicle app) (let* ((echo (app-state-echo app))) (echo-message! echo "CARLA: vehicle control"))) +(def (cmd-carla-sensor app) (let* ((echo (app-state-echo app))) (echo-message! echo "CARLA: sensor config"))) +(def (cmd-carla-weather app) (let* ((echo (app-state-echo app))) (echo-message! echo "CARLA: weather"))) +(def (cmd-carla-traffic app) (let* ((echo (app-state-echo app))) (echo-message! echo "CARLA: traffic manager"))) + +;; Round 537: BWA, RDKit, Open Babel, Avogadro (20 commands) +(def (cmd-bwa-mem app) (let* ((echo (app-state-echo app))) (echo-message! echo "BWA: mem alignment"))) +(def (cmd-bwa-index app) (let* ((echo (app-state-echo app))) (echo-message! echo "BWA: index reference"))) +(def (cmd-bwa-align app) (let* ((echo (app-state-echo app))) (echo-message! echo "BWA: align reads"))) +(def (cmd-bwa-sampe app) (let* ((echo (app-state-echo app))) (echo-message! echo "BWA: paired-end"))) +(def (cmd-bwa-aln app) (let* ((echo (app-state-echo app))) (echo-message! echo "BWA: aln mode"))) +(def (cmd-rdkit-molecule app) (let* ((echo (app-state-echo app))) (echo-message! echo "RDKit: molecule"))) +(def (cmd-rdkit-fingerprint app) (let* ((echo (app-state-echo app))) (echo-message! echo "RDKit: fingerprint"))) +(def (cmd-rdkit-descriptor app) (let* ((echo (app-state-echo app))) (echo-message! echo "RDKit: descriptors"))) +(def (cmd-rdkit-similarity app) (let* ((echo (app-state-echo app))) (echo-message! echo "RDKit: similarity"))) +(def (cmd-rdkit-scaffold app) (let* ((echo (app-state-echo app))) (echo-message! echo "RDKit: scaffold"))) +(def (cmd-openbabel-convert app) (let* ((echo (app-state-echo app))) (echo-message! echo "Open Babel: convert"))) +(def (cmd-openbabel-minimize app) (let* ((echo (app-state-echo app))) (echo-message! echo "Open Babel: minimize"))) +(def (cmd-openbabel-generate app) (let* ((echo (app-state-echo app))) (echo-message! echo "Open Babel: generate 3D"))) +(def (cmd-openbabel-filter app) (let* ((echo (app-state-echo app))) (echo-message! echo "Open Babel: filter"))) +(def (cmd-openbabel-align app) (let* ((echo (app-state-echo app))) (echo-message! echo "Open Babel: align"))) +(def (cmd-avogadro-build app) (let* ((echo (app-state-echo app))) (echo-message! echo "Avogadro: build molecule"))) +(def (cmd-avogadro-optimize app) (let* ((echo (app-state-echo app))) (echo-message! echo "Avogadro: optimize geometry"))) +(def (cmd-avogadro-measure app) (let* ((echo (app-state-echo app))) (echo-message! echo "Avogadro: measure"))) +(def (cmd-avogadro-render app) (let* ((echo (app-state-echo app))) (echo-message! echo "Avogadro: render"))) +(def (cmd-avogadro-surface app) (let* ((echo (app-state-echo app))) (echo-message! echo "Avogadro: surfaces"))) + +;; Round 539: TOPCAT, Coq, Lean 4, Agda ext (20 commands) +(def (cmd-gaussian-input app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gaussian: input file"))) +(def (cmd-gaussian-submit app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gaussian: submit job"))) +(def (cmd-gaussian-output app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gaussian: parse output"))) +(def (cmd-gaussian-freq app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gaussian: frequency"))) +(def (cmd-gaussian-opt app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gaussian: optimization"))) +(def (cmd-orca-input app) (let* ((echo (app-state-echo app))) (echo-message! echo "ORCA: input file"))) +(def (cmd-orca-submit app) (let* ((echo (app-state-echo app))) (echo-message! echo "ORCA: submit job"))) +(def (cmd-orca-output app) (let* ((echo (app-state-echo app))) (echo-message! echo "ORCA: parse output"))) +(def (cmd-orca-geometry app) (let* ((echo (app-state-echo app))) (echo-message! echo "ORCA: geometry"))) +(def (cmd-orca-property app) (let* ((echo (app-state-echo app))) (echo-message! echo "ORCA: properties"))) +(def (cmd-topcat-table app) (let* ((echo (app-state-echo app))) (echo-message! echo "TOPCAT: table viewer"))) +(def (cmd-topcat-match app) (let* ((echo (app-state-echo app))) (echo-message! echo "TOPCAT: cross-match"))) +(def (cmd-topcat-plot app) (let* ((echo (app-state-echo app))) (echo-message! echo "TOPCAT: plot"))) +(def (cmd-topcat-filter app) (let* ((echo (app-state-echo app))) (echo-message! echo "TOPCAT: filter rows"))) +(def (cmd-topcat-join app) (let* ((echo (app-state-echo app))) (echo-message! echo "TOPCAT: join tables"))) +(def (cmd-coq-proof app) (let* ((echo (app-state-echo app))) (echo-message! echo "Coq: proof mode"))) +(def (cmd-coq-tactic app) (let* ((echo (app-state-echo app))) (echo-message! echo "Coq: tactics"))) +(def (cmd-coq-lemma app) (let* ((echo (app-state-echo app))) (echo-message! echo "Coq: lemma"))) +(def (cmd-coq-definition app) (let* ((echo (app-state-echo app))) (echo-message! echo "Coq: definition"))) +(def (cmd-coq-inductive app) (let* ((echo (app-state-echo app))) (echo-message! echo "Coq: inductive type"))) + +;; Round 540 batch 2: Lean 4, Agda ext (10 commands) +(def (cmd-lean4-theorem app) (let* ((echo (app-state-echo app))) (echo-message! echo "Lean 4: theorem"))) +(def (cmd-lean4-tactic app) (let* ((echo (app-state-echo app))) (echo-message! echo "Lean 4: tactic"))) +(def (cmd-lean4-structure app) (let* ((echo (app-state-echo app))) (echo-message! echo "Lean 4: structure"))) +(def (cmd-lean4-instance app) (let* ((echo (app-state-echo app))) (echo-message! echo "Lean 4: instance"))) +(def (cmd-lean4-simp app) (let* ((echo (app-state-echo app))) (echo-message! echo "Lean 4: simp tactic"))) +(def (cmd-agda-typecheck app) (let* ((echo (app-state-echo app))) (echo-message! echo "Agda: type check"))) +(def (cmd-agda-normalize app) (let* ((echo (app-state-echo app))) (echo-message! echo "Agda: normalize"))) +(def (cmd-agda-case app) (let* ((echo (app-state-echo app))) (echo-message! echo "Agda: case split"))) +(def (cmd-agda-goal app) (let* ((echo (app-state-echo app))) (echo-message! echo "Agda: goal type"))) +(def (cmd-agda-solve app) (let* ((echo (app-state-echo app))) (echo-message! echo "Agda: solve constraints"))) --- a/src/jerboa-emacs/editor-extra-modes.ss +++ b/src/jerboa-emacs/editor-extra-modes.ss @@ -33158,3 +33158,115 @@ (def (cmd-foundationdb-exclude app) (let* ((echo (app-state-echo app))) (echo-message! echo "FoundationDB: exclude server"))) + +;; Round 531: Solidity, Hardhat, Foundry, Truffle (20 commands) +(def (cmd-solidity-compile app) (let* ((echo (app-state-echo app))) (echo-message! echo "Solidity: compile contracts"))) +(def (cmd-solidity-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Solidity: run tests"))) +(def (cmd-solidity-deploy app) (let* ((echo (app-state-echo app))) (echo-message! echo "Solidity: deploy contract"))) +(def (cmd-solidity-verify app) (let* ((echo (app-state-echo app))) (echo-message! echo "Solidity: verify contract"))) +(def (cmd-solidity-flatten app) (let* ((echo (app-state-echo app))) (echo-message! echo "Solidity: flatten sources"))) +(def (cmd-hardhat-compile app) (let* ((echo (app-state-echo app))) (echo-message! echo "Hardhat: compile"))) +(def (cmd-hardhat-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Hardhat: test"))) +(def (cmd-hardhat-deploy app) (let* ((echo (app-state-echo app))) (echo-message! echo "Hardhat: deploy"))) +(def (cmd-hardhat-node app) (let* ((echo (app-state-echo app))) (echo-message! echo "Hardhat: local node"))) +(def (cmd-hardhat-verify app) (let* ((echo (app-state-echo app))) (echo-message! echo "Hardhat: verify"))) +(def (cmd-foundry-build app) (let* ((echo (app-state-echo app))) (echo-message! echo "Foundry: build"))) +(def (cmd-foundry-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Foundry: test"))) +(def (cmd-foundry-deploy app) (let* ((echo (app-state-echo app))) (echo-message! echo "Foundry: deploy"))) +(def (cmd-foundry-script app) (let* ((echo (app-state-echo app))) (echo-message! echo "Foundry: script"))) +(def (cmd-foundry-cast app) (let* ((echo (app-state-echo app))) (echo-message! echo "Foundry: cast"))) +(def (cmd-truffle-compile app) (let* ((echo (app-state-echo app))) (echo-message! echo "Truffle: compile"))) +(def (cmd-truffle-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Truffle: test"))) +(def (cmd-truffle-migrate app) (let* ((echo (app-state-echo app))) (echo-message! echo "Truffle: migrate"))) +(def (cmd-truffle-console app) (let* ((echo (app-state-echo app))) (echo-message! echo "Truffle: console"))) +(def (cmd-truffle-debug app) (let* ((echo (app-state-echo app))) (echo-message! echo "Truffle: debug"))) + +;; Round 533: Move, Cairo, Mosquitto, CoAP (20 commands) +(def (cmd-move-build app) (let* ((echo (app-state-echo app))) (echo-message! echo "Move: build"))) +(def (cmd-move-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Move: test"))) +(def (cmd-move-publish app) (let* ((echo (app-state-echo app))) (echo-message! echo "Move: publish"))) +(def (cmd-move-prove app) (let* ((echo (app-state-echo app))) (echo-message! echo "Move: prove"))) +(def (cmd-move-compile app) (let* ((echo (app-state-echo app))) (echo-message! echo "Move: compile"))) +(def (cmd-cairo-compile app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cairo: compile"))) +(def (cmd-cairo-run app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cairo: run"))) +(def (cmd-cairo-test app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cairo: test"))) +(def (cmd-cairo-format app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cairo: format"))) +(def (cmd-cairo-prove app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cairo: prove"))) +(def (cmd-mosquitto-pub app) (let* ((echo (app-state-echo app))) (echo-message! echo "Mosquitto: publish"))) +(def (cmd-mosquitto-sub app) (let* ((echo (app-state-echo app))) (echo-message! echo "Mosquitto: subscribe"))) +(def (cmd-mosquitto-bridge app) (let* ((echo (app-state-echo app))) (echo-message! echo "Mosquitto: bridge"))) +(def (cmd-mosquitto-config app) (let* ((echo (app-state-echo app))) (echo-message! echo "Mosquitto: config"))) +(def (cmd-mosquitto-passwd app) (let* ((echo (app-state-echo app))) (echo-message! echo "Mosquitto: passwords"))) +(def (cmd-coap-get app) (let* ((echo (app-state-echo app))) (echo-message! echo "CoAP: GET request"))) +(def (cmd-coap-post app) (let* ((echo (app-state-echo app))) (echo-message! echo "CoAP: POST request"))) +(def (cmd-coap-put app) (let* ((echo (app-state-echo app))) (echo-message! echo "CoAP: PUT request"))) +(def (cmd-coap-delete app) (let* ((echo (app-state-echo app))) (echo-message! echo "CoAP: DELETE request"))) +(def (cmd-coap-observe app) (let* ((echo (app-state-echo app))) (echo-message! echo "CoAP: observe resource"))) + +;; Round 535 batch 1: Gazebo, Webots (10 commands) +(def (cmd-gazebo-world app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gazebo: world editor"))) +(def (cmd-gazebo-model app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gazebo: model editor"))) +(def (cmd-gazebo-plugin app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gazebo: plugins"))) +(def (cmd-gazebo-sensor app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gazebo: sensors"))) +(def (cmd-gazebo-physics app) (let* ((echo (app-state-echo app))) (echo-message! echo "Gazebo: physics engine"))) +(def (cmd-webots-world app) (let* ((echo (app-state-echo app))) (echo-message! echo "Webots: world"))) +(def (cmd-webots-controller app) (let* ((echo (app-state-echo app))) (echo-message! echo "Webots: controller"))) +(def (cmd-webots-supervisor app) (let* ((echo (app-state-echo app))) (echo-message! echo "Webots: supervisor"))) +(def (cmd-webots-field app) (let* ((echo (app-state-echo app))) (echo-message! echo "Webots: field access"))) +(def (cmd-webots-export app) (let* ((echo (app-state-echo app))) (echo-message! echo "Webots: export scene"))) + +;; Round 536: SAMtools, BCFtools, BEDtools, BLAST (20 commands) +(def (cmd-samtools-view app) (let* ((echo (app-state-echo app))) (echo-message! echo "SAMtools: view alignments"))) +(def (cmd-samtools-sort app) (let* ((echo (app-state-echo app))) (echo-message! echo "SAMtools: sort"))) +(def (cmd-samtools-index app) (let* ((echo (app-state-echo app))) (echo-message! echo "SAMtools: index"))) +(def (cmd-samtools-flagstat app) (let* ((echo (app-state-echo app))) (echo-message! echo "SAMtools: flagstat"))) +(def (cmd-samtools-depth app) (let* ((echo (app-state-echo app))) (echo-message! echo "SAMtools: depth"))) +(def (cmd-bcftools-call app) (let* ((echo (app-state-echo app))) (echo-message! echo "BCFtools: variant calling"))) +(def (cmd-bcftools-filter app) (let* ((echo (app-state-echo app))) (echo-message! echo "BCFtools: filter variants"))) +(def (cmd-bcftools-merge app) (let* ((echo (app-state-echo app))) (echo-message! echo "BCFtools: merge VCFs"))) +(def (cmd-bcftools-stats app) (let* ((echo (app-state-echo app))) (echo-message! echo "BCFtools: statistics"))) +(def (cmd-bcftools-annotate app) (let* ((echo (app-state-echo app))) (echo-message! echo "BCFtools: annotate"))) +(def (cmd-bedtools-intersect app) (let* ((echo (app-state-echo app))) (echo-message! echo "BEDtools: intersect"))) +(def (cmd-bedtools-merge app) (let* ((echo (app-state-echo app))) (echo-message! echo "BEDtools: merge"))) +(def (cmd-bedtools-coverage app) (let* ((echo (app-state-echo app))) (echo-message! echo "BEDtools: coverage"))) +(def (cmd-bedtools-closest app) (let* ((echo (app-state-echo app))) (echo-message! echo "BEDtools: closest"))) +(def (cmd-bedtools-subtract app) (let* ((echo (app-state-echo app))) (echo-message! echo "BEDtools: subtract"))) +(def (cmd-blast-search app) (let* ((echo (app-state-echo app))) (echo-message! echo "BLAST: search"))) +(def (cmd-blast-db app) (let* ((echo (app-state-echo app))) (echo-message! echo "BLAST: database"))) +(def (cmd-blast-format app) (let* ((echo (app-state-echo app))) (echo-message! echo "BLAST: format output"))) +(def (cmd-blast-align app) (let* ((echo (app-state-echo app))) (echo-message! echo "BLAST: alignment"))) +(def (cmd-blast-filter app) (let* ((echo (app-state-echo app))) (echo-message! echo "BLAST: filter results"))) + +;; Round 538: Astropy, Stellarium, DS9, Aladin (20 commands) +(def (cmd-astropy-table app) (let* ((echo (app-state-echo app))) (echo-message! echo "Astropy: table operations"))) +(def (cmd-astropy-coords app) (let* ((echo (app-state-echo app))) (echo-message! echo "Astropy: coordinates"))) +(def (cmd-astropy-fits app) (let* ((echo (app-state-echo app))) (echo-message! echo "Astropy: FITS files"))) +(def (cmd-astropy-units app) (let* ((echo (app-state-echo app))) (echo-message! echo "Astropy: units"))) +(def (cmd-astropy-cosmology app) (let* ((echo (app-state-echo app))) (echo-message! echo "Astropy: cosmology"))) +(def (cmd-stellarium-search app) (let* ((echo (app-state-echo app))) (echo-message! echo "Stellarium: search objects"))) +(def (cmd-stellarium-script app) (let* ((echo (app-state-echo app))) (echo-message! echo "Stellarium: scripting"))) +(def (cmd-stellarium-plugin app) (let* ((echo (app-state-echo app))) (echo-message! echo "Stellarium: plugins"))) +(def (cmd-stellarium-landscape app) (let* ((echo (app-state-echo app))) (echo-message! echo "Stellarium: landscape"))) +(def (cmd-stellarium-projection app) (let* ((echo (app-state-echo app))) (echo-message! echo "Stellarium: projection"))) +(def (cmd-ds9-open app) (let* ((echo (app-state-echo app))) (echo-message! echo "DS9: open FITS"))) +(def (cmd-ds9-region app) (let* ((echo (app-state-echo app))) (echo-message! echo "DS9: regions"))) +(def (cmd-ds9-colormap app) (let* ((echo (app-state-echo app))) (echo-message! echo "DS9: colormap"))) +(def (cmd-ds9-contour app) (let* ((echo (app-state-echo app))) (echo-message! echo "DS9: contours"))) +(def (cmd-ds9-analysis app) (let* ((echo (app-state-echo app))) (echo-message! echo "DS9: analysis"))) +(def (cmd-aladin-survey app) (let* ((echo (app-state-echo app))) (echo-message! echo "Aladin: survey"))) +(def (cmd-aladin-catalog app) (let* ((echo (app-state-echo app))) (echo-message! echo "Aladin: catalog"))) +(def (cmd-aladin-overlay app) (let* ((echo (app-state-echo app))) (echo-message! echo "Aladin: overlay"))) +(def (cmd-aladin-filter app) (let* ((echo (app-state-echo app))) (echo-message! echo "Aladin: filter"))) +(def (cmd-aladin-script app) (let* ((echo (app-state-echo app))) (echo-message! echo "Aladin: scripting"))) + +;; Round 540 batch 1: Qiskit, Cirq (10 commands) +(def (cmd-qiskit-circuit app) (let* ((echo (app-state-echo app))) (echo-message! echo "Qiskit: circuit"))) +(def (cmd-qiskit-backend app) (let* ((echo (app-state-echo app))) (echo-message! echo "Qiskit: backend"))) +(def (cmd-qiskit-transpile app) (let* ((echo (app-state-echo app))) (echo-message! echo "Qiskit: transpile"))) +(def (cmd-qiskit-execute app) (let* ((echo (app-state-echo app))) (echo-message! echo "Qiskit: execute"))) +(def (cmd-qiskit-noise app) (let* ((echo (app-state-echo app))) (echo-message! echo "Qiskit: noise model"))) +(def (cmd-cirq-circuit app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cirq: circuit"))) +(def (cmd-cirq-simulate app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cirq: simulate"))) +(def (cmd-cirq-optimize app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cirq: optimize"))) +(def (cmd-cirq-measure app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cirq: measure"))) +(def (cmd-cirq-noise app) (let* ((echo (app-state-echo app))) (echo-message! echo "Cirq: noise model"))) --- a/src/jerboa-emacs/editor-extra-regs2.ss +++ b/src/jerboa-emacs/editor-extra-regs2.ss @@ -12750,4 +12750,55 @@ (register-command! 'yugabytedb-backup cmd-yugabytedb-backup) (register-command! 'yugabytedb-restore cmd-yugabytedb-restore) (register-command! 'yugabytedb-master cmd-yugabytedb-master) + + ;; Round 531: Solidity, Hardhat, Foundry, Truffle + (register-command! 'solidity-compile cmd-solidity-compile) (register-command! 'solidity-test cmd-solidity-test) (register-command! 'solidity-deploy cmd-solidity-deploy) (register-command! 'solidity-verify cmd-solidity-verify) (register-command! 'solidity-flatten cmd-solidity-flatten) + (register-command! 'hardhat-compile cmd-hardhat-compile) (register-command! 'hardhat-test cmd-hardhat-test) (register-command! 'hardhat-deploy cmd-hardhat-deploy) (register-command! 'hardhat-node cmd-hardhat-node) (register-command! 'hardhat-verify cmd-hardhat-verify) + (register-command! 'foundry-build cmd-foundry-build) (register-command! 'foundry-test cmd-foundry-test) (register-command! 'foundry-deploy cmd-foundry-deploy) (register-command! 'foundry-script cmd-foundry-script) (register-command! 'foundry-cast cmd-foundry-cast) + (register-command! 'truffle-compile cmd-truffle-compile) (register-command! 'truffle-test cmd-truffle-test) (register-command! 'truffle-migrate cmd-truffle-migrate) (register-command! 'truffle-console cmd-truffle-console) (register-command! 'truffle-debug cmd-truffle-debug) + ;; Round 532: Brownie, Anchor, Substrate, CosmWasm + (register-command! 'brownie-compile cmd-brownie-compile) (register-command! 'brownie-test cmd-brownie-test) (register-command! 'brownie-run cmd-brownie-run) (register-command! 'brownie-console cmd-brownie-console) (register-command! 'brownie-network cmd-brownie-network) + (register-command! 'anchor-build cmd-anchor-build) (register-command! 'anchor-test cmd-anchor-test) (register-command! 'anchor-deploy cmd-anchor-deploy) (register-command! 'anchor-init cmd-anchor-init) (register-command! 'anchor-verify cmd-anchor-verify) + (register-command! 'substrate-build cmd-substrate-build) (register-command! 'substrate-test cmd-substrate-test) (register-command! 'substrate-purge cmd-substrate-purge) (register-command! 'substrate-key cmd-substrate-key) (register-command! 'substrate-benchmark cmd-substrate-benchmark) + (register-command! 'cosmwasm-build cmd-cosmwasm-build) (register-command! 'cosmwasm-test cmd-cosmwasm-test) (register-command! 'cosmwasm-deploy cmd-cosmwasm-deploy) (register-command! 'cosmwasm-schema cmd-cosmwasm-schema) (register-command! 'cosmwasm-optimize cmd-cosmwasm-optimize) + ;; Round 533: Move, Cairo, Mosquitto, CoAP + (register-command! 'move-build cmd-move-build) (register-command! 'move-test cmd-move-test) (register-command! 'move-publish cmd-move-publish) (register-command! 'move-prove cmd-move-prove) (register-command! 'move-compile cmd-move-compile) + (register-command! 'cairo-compile cmd-cairo-compile) (register-command! 'cairo-run cmd-cairo-run) (register-command! 'cairo-test cmd-cairo-test) (register-command! 'cairo-format cmd-cairo-format) (register-command! 'cairo-prove cmd-cairo-prove) + (register-command! 'mosquitto-pub cmd-mosquitto-pub) (register-command! 'mosquitto-sub cmd-mosquitto-sub) (register-command! 'mosquitto-bridge cmd-mosquitto-bridge) (register-command! 'mosquitto-config cmd-mosquitto-config) (register-command! 'mosquitto-passwd cmd-mosquitto-passwd) + (register-command! 'coap-get cmd-coap-get) (register-command! 'coap-post cmd-coap-post) (register-command! 'coap-put cmd-coap-put) (register-command! 'coap-delete cmd-coap-delete) (register-command! 'coap-observe cmd-coap-observe) + ;; Round 534: LwM2M, OPC UA, Modbus, ROS 2 + (register-command! 'lwm2m-register cmd-lwm2m-register) (register-command! 'lwm2m-discover cmd-lwm2m-discover) (register-command! 'lwm2m-read cmd-lwm2m-read) (register-command! 'lwm2m-write cmd-lwm2m-write) (register-command! 'lwm2m-execute cmd-lwm2m-execute) + (register-command! 'opcua-browse cmd-opcua-browse) (register-command! 'opcua-read cmd-opcua-read) (register-command! 'opcua-write cmd-opcua-write) (register-command! 'opcua-subscribe cmd-opcua-subscribe) (register-command! 'opcua-method cmd-opcua-method) + (register-command! 'modbus-read cmd-modbus-read) (register-command! 'modbus-write cmd-modbus-write) (register-command! 'modbus-scan cmd-modbus-scan) (register-command! 'modbus-monitor cmd-modbus-monitor) (register-command! 'modbus-simulate cmd-modbus-simulate) + (register-command! 'ros2-topic cmd-ros2-topic) (register-command! 'ros2-service cmd-ros2-service) (register-command! 'ros2-action cmd-ros2-action) (register-command! 'ros2-param cmd-ros2-param) (register-command! 'ros2-launch cmd-ros2-launch) + ;; Round 535: Gazebo, Webots, Isaac Sim, CARLA + (register-command! 'gazebo-world cmd-gazebo-world) (register-command! 'gazebo-model cmd-gazebo-model) (register-command! 'gazebo-plugin cmd-gazebo-plugin) (register-command! 'gazebo-sensor cmd-gazebo-sensor) (register-command! 'gazebo-physics cmd-gazebo-physics) + (register-command! 'webots-world cmd-webots-world) (register-command! 'webots-controller cmd-webots-controller) (register-command! 'webots-supervisor cmd-webots-supervisor) (register-command! 'webots-field cmd-webots-field) (register-command! 'webots-export cmd-webots-export) + (register-command! 'isaac-sim cmd-isaac-sim) (register-command! 'isaac-gym cmd-isaac-gym) (register-command! 'isaac-orbit cmd-isaac-orbit) (register-command! 'isaac-sensor cmd-isaac-sensor) (register-command! 'isaac-robot cmd-isaac-robot) + (register-command! 'carla-world cmd-carla-world) (register-command! 'carla-vehicle cmd-carla-vehicle) (register-command! 'carla-sensor cmd-carla-sensor) (register-command! 'carla-weather cmd-carla-weather) (register-command! 'carla-traffic cmd-carla-traffic) + ;; Round 536: SAMtools, BCFtools, BEDtools, BLAST + (register-command! 'samtools-view cmd-samtools-view) (register-command! 'samtools-sort cmd-samtools-sort) (register-command! 'samtools-index cmd-samtools-index) (register-command! 'samtools-flagstat cmd-samtools-flagstat) (register-command! 'samtools-depth cmd-samtools-depth) + (register-command! 'bcftools-call cmd-bcftools-call) (register-command! 'bcftools-filter cmd-bcftools-filter) (register-command! 'bcftools-merge cmd-bcftools-merge) (register-command! 'bcftools-stats cmd-bcftools-stats) (register-command! 'bcftools-annotate cmd-bcftools-annotate) + (register-command! 'bedtools-intersect cmd-bedtools-intersect) (register-command! 'bedtools-merge cmd-bedtools-merge) (register-command! 'bedtools-coverage cmd-bedtools-coverage) (register-command! 'bedtools-closest cmd-bedtools-closest) (register-command! 'bedtools-subtract cmd-bedtools-subtract) + (register-command! 'blast-search cmd-blast-search) (register-command! 'blast-db cmd-blast-db) (register-command! 'blast-format cmd-blast-format) (register-command! 'blast-align cmd-blast-align) (register-command! 'blast-filter cmd-blast-filter) + ;; Round 537: BWA, RDKit, Open Babel, Avogadro + (register-command! 'bwa-mem cmd-bwa-mem) (register-command! 'bwa-index cmd-bwa-index) (register-command! 'bwa-align cmd-bwa-align) (register-command! 'bwa-sampe cmd-bwa-sampe) (register-command! 'bwa-aln cmd-bwa-aln) + (register-command! 'rdkit-molecule cmd-rdkit-molecule) (register-command! 'rdkit-fingerprint cmd-rdkit-fingerprint) (register-command! 'rdkit-descriptor cmd-rdkit-descriptor) (register-command! 'rdkit-similarity cmd-rdkit-similarity) (register-command! 'rdkit-scaffold cmd-rdkit-scaffold) + (register-command! 'openbabel-convert cmd-openbabel-convert) (register-command! 'openbabel-minimize cmd-openbabel-minimize) (register-command! 'openbabel-generate cmd-openbabel-generate) (register-command! 'openbabel-filter cmd-openbabel-filter) (register-command! 'openbabel-align cmd-openbabel-align) + (register-command! 'avogadro-build cmd-avogadro-build) (register-command! 'avogadro-optimize cmd-avogadro-optimize) (register-command! 'avogadro-measure cmd-avogadro-measure) (register-command! 'avogadro-render cmd-avogadro-render) (register-command! 'avogadro-surface cmd-avogadro-surface) + ;; Round 538: Astropy, Stellarium, DS9, Aladin + (register-command! 'astropy-table cmd-astropy-table) (register-command! 'astropy-coords cmd-astropy-coords) (register-command! 'astropy-fits cmd-astropy-fits) (register-command! 'astropy-units cmd-astropy-units) (register-command! 'astropy-cosmology cmd-astropy-cosmology) + (register-command! 'stellarium-search cmd-stellarium-search) (register-command! 'stellarium-script cmd-stellarium-script) (register-command! 'stellarium-plugin cmd-stellarium-plugin) (register-command! 'stellarium-landscape cmd-stellarium-landscape) (register-command! 'stellarium-projection cmd-stellarium-projection) + (register-command! 'ds9-open cmd-ds9-open) (register-command! 'ds9-region cmd-ds9-region) (register-command! 'ds9-colormap cmd-ds9-colormap) (register-command! 'ds9-contour cmd-ds9-contour) (register-command! 'ds9-analysis cmd-ds9-analysis) + (register-command! 'aladin-survey cmd-aladin-survey) (register-command! 'aladin-catalog cmd-aladin-catalog) (register-command! 'aladin-overlay cmd-aladin-overlay) (register-command! 'aladin-filter cmd-aladin-filter) (register-command! 'aladin-script cmd-aladin-script) + ;; Round 539: Gaussian, ORCA, TOPCAT, Coq + (register-command! 'gaussian-input cmd-gaussian-input) (register-command! 'gaussian-submit cmd-gaussian-submit) (register-command! 'gaussian-output cmd-gaussian-output) (register-command! 'gaussian-freq cmd-gaussian-freq) (register-command! 'gaussian-opt cmd-gaussian-opt) + (register-command! 'orca-input cmd-orca-input) (register-command! 'orca-submit cmd-orca-submit) (register-command! 'orca-output cmd-orca-output) (register-command! 'orca-geometry cmd-orca-geometry) (register-command! 'orca-property cmd-orca-property) + (register-command! 'topcat-table cmd-topcat-table) (register-command! 'topcat-match cmd-topcat-match) (register-command! 'topcat-plot cmd-topcat-plot) (register-command! 'topcat-filter cmd-topcat-filter) (register-command! 'topcat-join cmd-topcat-join) + (register-command! 'coq-proof cmd-coq-proof) (register-command! 'coq-tactic cmd-coq-tactic) (register-command! 'coq-lemma cmd-coq-lemma) (register-command! 'coq-definition cmd-coq-definition) (register-command! 'coq-inductive cmd-coq-inductive) + ;; Round 540: Lean 4, Agda ext, Qiskit, Cirq + (register-command! 'lean4-theorem cmd-lean4-theorem) (register-command! 'lean4-tactic cmd-lean4-tactic) (register-command! 'lean4-structure cmd-lean4-structure) (register-command! 'lean4-instance cmd-lean4-instance) (register-command! 'lean4-simp cmd-lean4-simp) + (register-command! 'agda-typecheck cmd-agda-typecheck) (register-command! 'agda-normalize cmd-agda-normalize) (register-command! 'agda-case cmd-agda-case) (register-command! 'agda-goal cmd-agda-goal) (register-command! 'agda-solve cmd-agda-solve) + (register-command! 'qiskit-circuit cmd-qiskit-circuit) (register-command! 'qiskit-backend cmd-qiskit-backend) (register-command! 'qiskit-transpile cmd-qiskit-transpile) (register-command! 'qiskit-execute cmd-qiskit-execute) (register-command! 'qiskit-noise cmd-qiskit-noise) + (register-command! 'cirq-circuit cmd-cirq-circuit) (register-command! 'cirq-simulate cmd-cirq-simulate) (register-command! 'cirq-optimize cmd-cirq-optimize) (register-command! 'cirq-measure cmd-cirq-measure) (register-command! 'cirq-noise cmd-cirq-noise) )