crates.io : repr
The regular-expression-as-linear-logic interpretation and its implementation
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/repr
Keywords:
regular-expression
, automata
, coalgebra
, effect-system
, lambek-calculus
, linear-logic
, process-calculus
, proof-search
, quantale
, regular-expressions
, rust
, two-level-type-theory
License: MIT,Apache-2.0
Latest release: 12 months ago
First release: over 2 years ago
Downloads: 18,856 total
Stars: 0 on gitlab.com
Forks: 0 on gitlab.com
Docker dependents: 29
Docker downloads: 23,282,367
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago