Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by zjhmale

A curated list of projects in awesome lists by zjhmale .

https://github.com/zjhmale/vscode-idris

Idris for Visual Studio Code

idris vscode-extension

Last synced: 20 Nov 2024

https://github.com/zjhmale/idringen

a project manage tool for Idris

Last synced: 26 Oct 2024