Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / thoughtpolice / cryptol-mode
A Cryptol major mode for Emacs.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/thoughtpolice%2Fcryptol-mode
Stars: 15
Forks: 6
Open Issues: 12
License: gpl-3.0
Language: Emacs Lisp
Repo Size: 70.3 KB
Dependencies:
0
Created: over 11 years ago
Updated: about 1 year ago
Last pushed: about 5 years ago
Last synced: about 1 month ago
Funding links: https://github.com/sponsors/thoughtpolice
Files
Loading...
Readme
Loading...
No dependencies found