command-not-found.com – lfscc

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

lfscc

SMT proof checker

Install

All systems: curl cmd.cat/lfscc.sh
Fedora: dnf install lfsc
Dockerfile: dockerfile.run/lfscc

lfsc

SMT proof checker

API – lfscc

stat

Display file and filesystem information. More information: <https://www.gnu.org/software/coreutils/manual/html_node/stat-invocation.html>.

basename

Remove leading directory portions from a path. More information: <https://www.gnu.org/software/coreutils/basename>.

mkfs.vfat

Creates an MS-DOS filesystem inside a partition. More information: <https://manned.org/mkfs.vfat>.

atq

Show jobs scheduled by at or batch commands. More information: <https://manned.org/atq>.

pacoball

simple but yet powerful source code package management system

tcp-env

a secure, reliable, efficient, simple message transfer agent

core-daemon

intuitive network emulator that interacts with real nets (daemon)

vtkFiltersGeneralCxxTests

Testing programs for VTK

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