Data

Tools

Indexes

Applications

Experiments

Packages

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

semantic

Eases the typesetting of notation of semantics and compilers. Includes T-diagrams, various derivation symbols and inference trees.

Ecosystem
ctan.org
Latest Release
2.0
4 days ago
Versions
1
    Loading...
    Readme
    Loading...
    Links
    Registry ctan.org
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:ctan/semantic
    spec
    License LPPL-1.0
    First Release 4 days ago
    Last Synced 4 days ago
    Keywords
    comp-sci