Ecosyste.ms: Packages

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

crates.io "quantale" keyword

repr 0.0.10

The regular-expression-as-linear-logic interpretation and its implementation
11 versions - Latest release: 9 months ago - 2.68 thousand downloads total - 0 stars on GitLab.com - 1 maintainer

Related Keywords

regular-expression 1 automata 1 coalgebra 1 effect-system 1 lambek-calculus 1 linear-logic 1 process-calculus 1 proof-search 1 regular-expressions 1 rust 1 two-level-type-theory 1