Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/opencodeco/phpctl

🐳 It is a Docker (containers) based development environment for PHP 🐘

cli containers ctl development-environment docker php php8 podman terminal

Last synced: 26 May 2024

https://github.com/AzeezDa/ceetle

A Rust Library for defining models in Computational Tree Logic and verifying their semantics

ctl logic rust verification

Last synced: 22 May 2024

https://github.com/coq-community/comp-dec-modal

Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]

coq ctl mathcomp modal-logics pdl

Last synced: 03 May 2024

https://github.com/ipfs/js-ipfsd-ctl

Control an IPFS daemon (go-ipfs or js-ipfs) using JavaScript!

ctl daemon go-ipfs ipfs js-ipfs

Last synced: 01 Apr 2024