Data

Tools

Indexes

Applications

Experiments

Packages

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

idris-python

Loader for a kind of Idris IR.

Ecosystem
pypi.org
Latest Release
0.25
almost 7 years ago
Versions
2
Downloads
12 last month
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry pypi.org
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:pypi/idris-python
    spec
    License BSD-3-Clause
    First Release almost 7 years ago
    Last Synced 22 days ago
    Keywords
    Idris Dependent Types Type Safety Compiler idris idris-ecosystem python python3
    Repository
    Stars 24 on GitHub
    Forks 1 on GitHub
    repos.ecosyste.ms