olivierverdier/haskell-logic
Experimenting with proving type-logic statements in Haskell
Public GitHub Catalog
Discovered Sep 27, 2026
olivierverdier / pygfplots
Python interface to pgfplots
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10668394GitHub System ID
olivierverdierOrganization / User
PublicVisibility
ActiveCatalog Status
More from olivierverdier
olivierverdier/homogint
Integrators on homogeneous spaces
olivierverdier/padexp
Padé approximations of exponential (phi) functions
olivierverdier/pybs
A library for computing with trees and B-series.