Command-line tool

sollya

brew/sollya

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

Library for safe floating-point code development

Website

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install sollya

Linux

brew install sollya

Related command-line tools

• fplll
  Lattice algorithms using floating-point arithmetic
• bitwuzla
  SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
• rpg-stat
  A library for computer stats for RPG game development
• pwntools
  CTF framework used by Gallopsled in every CTF
• nuspell
  Fast and safe spellchecking C++ library
• lightcraft
  Photo library and raw development; an open-source, clean-room reimplementation of Adobe Lightroom, rebuilt in pure Rust
• haxe
  Multi-platform programming language cross-platform programming-language language transpiler jvm-languages compiler…
• holochain_cli_sandbox
  A library and CLI to help create, run and interact with sandboxed Holochain conductor environments, for testing and…

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