PinnedLoading

1. rust-lang/rustrust-lang/rustPublic

   Empowering everyone to build reliable and efficient software.

   Rust 102k 13.2k

2. servo/servoservo/servoPublic

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

   Rust 29.8k 3.1k

3. ethereum/solidityethereum/solidityPublic

   Solidity, the Smart Contract Programming Language

   C++ 24.2k 6k

4. purescript/purescriptpurescript/purescriptPublic

   A strongly-typed language that compiles to JavaScript

   Haskell 8.7k 566

5. GaloisInc/HaLVMGaloisInc/HaLVMPublic archive

   The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

   Haskell 1.1k 79

6. CozySynthesizer/cozyCozySynthesizer/cozyPublic

   The collection synthesizer

   Python 211 18