Popular repositories Loading

1. tictactoe tictactoe Public

   Meet with loe programing language

   2

2. leo leo Public

   Forked from ProvableHQ/leo

   🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

   Rust 1

3. snarkOS snarkOS Public

   Forked from ProvableHQ/snarkOS

   A Decentralized Operating System for ZK Applications

   Rust 1

4. ffmpeg-kit ffmpeg-kit Public

   Forked from arthenica/ffmpeg-kit

   FFmpeg Kit for applications. Supports Android, Flutter, iOS, Linux, macOS, React Native and tvOS. Supersedes MobileFFmpeg, flutter_ffmpeg and react-native-ffmpeg.

   C 1