PinnedLoading

1. awesome-idrisawesome-idrisPublic

   𝛌 Awesome Idris resources

   Idris 403 17

2. EnterpriseEnterprisePublic

   🦄 The Enterprise™ programming language

   JavaScript 1.6k 37

3. zen-signalszen-signalsPublic

   ☯ The simplest signal library possible

   TypeScript 54 1

4. ion-lang/ionion-lang/ionPublic

   יון no BS JS

   JavaScript 80 3

5. quantitsquantitsPublic

   Quantities in Typescript, Idris influenced

   TypeScript 10