Pinned Loading

1. awesome-idris awesome-idris Public

   𝛌 Awesome Idris resources

   Idris 398 18

2. Enterprise Enterprise Public

   🦄 The Enterprise™ programming language

   JavaScript 1.6k 36

3. zen-signals zen-signals Public

   ☯ The simplest signal library possible

   TypeScript 53 1

4. ion-lang/ion ion-lang/ion Public

   יון no BS JS

   JavaScript 79 3

5. quantits quantits Public

   Quantities in Typescript, Idris influenced

   TypeScript 10