Data

Tools

Indexes

Applications

Experiments

Packages

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

hackage.haskell.org "formalization" keyword

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

phino 0.0.0.64
Please see the README on GitHub at https://github.com/objectionary/phino#readme
64 versions - Latest release: 30 days ago - 664 downloads total - 15 stars on GitHub - 1 maintainer
Related Keywords
code-analysis 1 language 1 library 1 mit 1 program 1 Propose Tags 1 command-line-tool 1 eolang 1 haskell 1 normalization 1 phi-calculus 1