Command-line tool

civl

brew/civl

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Concurrency Intermediate Verification Language

Website

At a glance

Type

Command-line tool

Install on

macOS

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install civl

Related command-line tools

• oakc
  Portable programming language with a compact intermediate representation
• vimtutor-sequel
  Advanced vimtutor for intermediate vim users
• dafny
  Verification-aware programming language
• nextflow
  Reproducible scientific workflows
• rife-ncnn-vulkan
  RIFE, Real-Time Intermediate Flow Estimation for Video Frame Interpolation implemented with ncnn library
• ttfb
  Library + CLI utility to measure the TTFB (time to first byte) of HTTP(S) requests. This includes data of intermediate…
• ssstar
  Library crate that creates and restores archives to and from S3 or S3-compatible storage. ssstar is specifically…
• tlsx
  Fast and configurable TLS grabber focused on TLS based data collection

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents