An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "linear-logic" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "linear-logic" keyword.

zsyntax 0.2.0.0
An automated theorem prover for Zsyntax, a logical calculus for molecular biology inspired by lin...
1 version - Latest release: over 6 years ago - 1 dependent repositories - 553 downloads total - 12 stars on GitHub - 1 maintainer