Pinned Loading

1. Forked from nim-lang/Nim

   Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in that order of priority).

   Nim

2. Forked from elm/compiler

   Compiler for Elm, a functional language for reliable webapps.

   Haskell

5. Forked from idris-lang/Idris2

   A purely functional programming language with first class types

   Idris

6. Forked from elixir-lang/elixir

   Elixir is a dynamic, functional language designed for building scalable and maintainable applications

   Elixir