gappa

Star

Here are 2 public repositories matching this topic...

lczech / gappa

Star

A toolkit for analyzing and visualizing phylogenetic placement data

c-plus-plus phylogenetics genesis evolutionary-placement phylogenetic-data placement phylogenetic-placement gappa

Updated Oct 14, 2025
C++

Cactus-proj / gappa

Star

Unofficial mirror of gappa | A tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

fixed-point numerical float-point gappa

Updated Dec 8, 2025
C++

Improve this page

Add a description, image, and links to the gappa topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the gappa topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

gappa

Here are 2 public repositories matching this topic...

lczech / gappa

Cactus-proj / gappa

Improve this page

Add this topic to your repo