dockerfile.run – NuSMV

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

NuSMV

click the source code to copy install NuSMV on any operating system with command-not-found.com

API – NuSMV

pacman

Arch Linux package manager utility. See also: pacman-database, pacman-deptest, pacman-files, pacman-key, pacman-mirrors, pacman-query, pacman-remove, pacman-sync, pacman-upgrade. For equivalent commands in other package managers, see <https://wiki.archlinux.org/title/Pacman/Rosetta>. More information: <https://man.archlinux.org/man/pacman.8>.

wall

Write a message on the terminals of users currently logged in. More information: <https://manned.org/wall>.

ping6

Send ICMP ECHO_REQUEST packets to network hosts via IPv6 address. More information: <https://manned.org/ping6>.

q

Execute SQL-like queries on .csv and .tsv files. More information: <https://harelba.github.io/q>.

acomp.pl

speech recognition scoring toolkit

mraverageheader

diffusion-weighted MRI white matter tractography

mdflush-bpfcc

tools for BPF Compiler Collection (BCC)

Qt5WebKit.dll

Qt5 for Windows - QtWebkit component

© 2019-2024 Łukasz Lach | czux.dev | About

x