Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / seanpm2001 / SNU_2D_ProgrammingTools_IDE_Idris

The Idris Programming language IDE submodule for SNU Programming Tools (2D Mode)

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seanpm2001%2FSNU_2D_ProgrammingTools_IDE_Idris

Stars: 4
Forks: 2
Open Issues: 0

License: gpl-3.0
Language: Idris
Repo Size: 935 KB
Dependencies: pending

Created: almost 3 years ago
Updated: 15 days ago
Last pushed: over 1 year ago
Last synced: 15 days ago

Topics: gpl3, gplv3, ide, idris, md, programming, snu, snu-2d, snu-2d-programmingtools, snu-programming-tools, snu-programmingtools, txt, wiki

Files
    Loading...
    Readme
    Loading...