š Awesome Idris resources
updated at April 19, 2024, 8:19 a.m.
25 +0
381 +1
19 +0
š¦ The Enterpriseā¢ programming language
updated at April 12, 2024, 10:11 p.m.
26 +0
1,588 +0
48 +0
āÆ The simplest signal library possible
updated at Jan. 14, 2024, 12:59 p.m.
1 +0
51 +0