Popular repositories Loading

1. proof-systems proof-systems Public

   Forked from o1-labs/proof-systems

   The proof systems used by Mina

   Rust

2. mina mina Public

   Forked from MinaProtocol/mina

   Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

   OCaml

3. bsc bsc Public

   Forked from bnb-chain/bsc

   A BNB Smart Chain client based on the go-ethereum fork

   Go

4. biome biome Public

   Forked from biomejs/biome

   A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

   Rust

5. jerboa jerboa Public

   Forked from LemmyNet/jerboa

   A native android app for Lemmy

   Kotlin

6. voyager voyager Public

   Forked from aeharding/voyager

   Voyager — a mobile-first Lemmy client

   TypeScript