idris-hackers

idris-hackers/atom-language-idris

A Idris Mode for Atom.io

TypeScript
102
23
MIT License
Total donated
Undistributed
Share with your subscribers:

Recipients

How the donated funds are distributed

Support the dependencies

Support the repos that depend on this repository

Top contributors

archaeron's profile
archaeron
281 contributions
melted's profile
melted
54 contributions
justjoheinz's profile
justjoheinz
25 contributions
jmanuel1's profile
jmanuel1
9 contributions
swr1bm86's profile
swr1bm86
5 contributions
edwinb's profile
edwinb
4 contributions
jackolantern's profile
jackolantern
4 contributions
pyrtsa's profile
pyrtsa
4 contributions
ulidtko's profile
ulidtko
4 contributions
brendanzab's profile
brendanzab
3 contributions

Recent events

Kivach works on the Obyte network, and therefore you can track all donations.

No events yet