Pinned Loading

1. rust-lang/rust rust-lang/rust Public

   Empowering everyone to build reliable and efficient software.

   Rust 109k 14.3k

2. servo/servo servo/servo Public

   Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

   Rust 34.9k 3.4k

3. purescript/purescript purescript/purescript Public

   A strongly-typed language that compiles to JavaScript

   Haskell 8.8k 570

4. idris-lang/Idris-dev idris-lang/Idris-dev Public archive

   A Dependently Typed Functional Programming Language

   Haskell 3.5k 632