idris-jvm.md

mmhelloworld/idris-jvm - stars & forks statistics

Stats updated on Apr 2023, 15

☋ Forks: 24

★ Stars: 440

Open repository

Open detailed stats for mmhelloworld/idris-jvm

Historical data

Date	Stars	Forks
2023-04-15	440	24
2023-04-13	440	24
2023-04-12	440	24
2023-04-11	441	24
2023-04-10	441	24
2023-04-09	441	24
2023-04-08	441	24
2023-04-07	441	24
2023-04-06	441	24
2023-04-05	441	24
2023-04-04	441	24
2023-04-03	441	24
2023-04-01	441	24
2023-03-30	441	24
2023-03-28	441	24
2023-03-27	441	24
2023-03-25	441	24
2023-03-24	441	24
2023-03-22	440	24
2023-03-21	440	24
2023-03-20	440	24
2023-03-18	440	24