Explore @o1-labs Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

PHP

Julia

Dart

Go

C++

Java

Groovy

R

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Lua

Perl

Julia

Elixir

Objective-C

Erlang

Jupyter Notebook

Zig

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇻🇺 Vanuatu

🇭🇰 Hong Kong

🇨🇰 Cook Islands

🇸🇸 South Sudan

🇻🇳 Vietnam

🇨🇿 Czechia

🇦🇼 Aruba

🇰🇬 Kyrgyzstan

All Countries Compare Countries

@o1-labs

o1-labs

Stars
1,903
Global Org. Rank 9,849 (Top 4 %)
Registered almost 7 years ago
Most used languages

OCaml
26.9 %

TypeScript
26.9 %

JavaScript
23.1 %

Rust
11.5 %

Nix
3.8 %

HTML
3.8 %

C++
3.8 %
Location 🇺🇸 United States
Country Total Rank 6,402
Country Ranking

OCaml
11

Rust
433

Nix
527

TypeScript
908

JavaScript
5,103

o1js

TypeScript framework for zk-SNARKs and zkApps

snarky

OCaml DSL for verifiable computation

proof-systems

The proof systems used by Mina

zkapp-cli

CLI to create a zkApp (zero-knowledge app) for Mina Protocol

docs2

Docs website for the Mina Protocol.

ocamlbyexample

Learn Ocaml by reading code examples

zkapp-resource-kit

This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or findings here!

snarkette

Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)

verkle-tree

Archive-Node-API

This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

snarkyjs-workshop

o1js-bindings

Bindings for o1js to lower layers of the proof system and the Mina transaction logic

ocaml-gen

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

ppx_version

Versioning of types with bin_prot serialization

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

snarkyjs-examples

anonvote

mina-book

Specifications and documentation for the Mina protocol

snarkyjs-crypto

JavaScript crypto library accompanying snarky

mina-lightweight-explorer

Lightweight Mina Explorer

rfcs

RFCs for everything O(1) Labs

wait-for-mina-network-action

GitHub Action to wait for the Mina network readiness.

sfbw-workshop

Tutorial code for the SFBW zk-SNARK workshop

stationary

Static site generator

code-review-question

Code review interview question repo

dune-nix

Nix wrapping suitable for multi-package dune repositories

libsnark-ocaml

mina-web3

eslint-plugin-o1js

ESLint rules for o1js