Skip to content

Navigation Menu

Appearance settings

o1-labs

GitHub Copilot
Write better code with AI

GitHub Spark New
Build and deploy intelligent apps

GitHub Models New
Manage and compare prompts

GitHub Advanced Security
Find and fix vulnerabilities

Actions
Automate any workflow
Codespaces
Instant dev environments

Issues
Plan and track work

Code Review
Manage code changes

Discussions
Collaborate outside of code

Code Search
Find more, search less
Explore

Why GitHub

Documentation

GitHub Skills

Blog
Integrations

GitHub Marketplace

MCP Registry
View all features
By company size

Enterprises

Small and medium teams

Startups

Nonprofits
By use case

App Modernization

DevSecOps

DevOps

CI/CD

View all use cases
By industry

Healthcare

Financial services

Manufacturing

Government

View all industries
View all solutions
Topics

AI

DevOps

Security

Software Development

View all
Explore

Learning Pathways

Events & Webinars

Ebooks & Whitepapers

Customer Stories

Partners

Executive Insights
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories

Topics

Trending

Collections
Enterprise platform
AI-powered developer platform
Available add-ons

GitHub Advanced Security
Enterprise-grade security features

Copilot for business
Enterprise-grade AI features

Premium Support
Enterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

o1Labs

We're o1Labs. Catalyzing a new generation of zk applications. Incubators of Mina Protocol. Creators of kimchi and o1js (fka SnarkyJS)

257 followers
San Francisco
http://o1labs.org

Overview
Repositories
Projects
Packages
People

More

Overview
Repositories
Projects
Packages
People

Popular repositories Loading

o1js o1js Public

TypeScript framework for zk-SNARKs and zkApps

TypeScript 590 163
snarky snarky Public

OCaml DSL for verifiable computation

OCaml 502 87
proof-systems proof-systems Public

The proof systems used by Mina

Rust 450 135
zkapp-cli zkapp-cli Public

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

JavaScript 126 50
mina-rust mina-rust Public

The Mina Rust node is an implementation in Rust of the Mina Protocol

Rust 114 41
ocamlbyexample ocamlbyexample Public

Learn Ocaml by reading code examples

OCaml 71 5

Repositories

Loading

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All C++ Common Lisp CSS Dockerfile Go HTML JavaScript MDX Nix OCaml Python Rust Shell Smarty TypeScript Vim Script

Sort

Select order

Last updated Name Stars

Showing 10 of 87 repositories

o1js Public
TypeScript framework for zk-SNARKs and zkApps

o1-labs/o1js’s past year of commit activity

TypeScript 590 Apache-2.0 163 196 (1 issue needs help) 78 Updated Nov 3, 2025
mina-rust Public
The Mina Rust node is an implementation in Rust of the Mina Protocol

o1-labs/mina-rust’s past year of commit activity

Rust 114 Apache-2.0 41 176 (2 issues need help) 46 Updated Nov 3, 2025
proof-systems Public
The proof systems used by Mina

o1-labs/proof-systems’s past year of commit activity

Rust 450 Apache-2.0 135 163 (1 issue needs help) 81 Updated Nov 3, 2025
napi-rs Public Forked from napi-rs/napi-rs
A framework for building compiled Node.js add-ons in Rust via Node-API

o1-labs/napi-rs’s past year of commit activity

Rust 0 347 0 0 Updated Nov 3, 2025
Archive-Node-API Public
This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

o1-labs/Archive-Node-API’s past year of commit activity

TypeScript 19 5 8 7 Updated Nov 3, 2025
o1js-documentation-site Public

o1-labs/o1js-documentation-site’s past year of commit activity

MDX 0 0 0 2 Updated Oct 30, 2025
mina-lightnet-docker Public
Building and publishing primitives for lightweight Mina network Docker images

o1-labs/mina-lightnet-docker’s past year of commit activity

Shell 1 Apache-2.0 2 2 1 Updated Oct 29, 2025
zkapp-cli Public
CLI to create a zkApp (zero-knowledge app) for Mina Protocol

o1-labs/zkapp-cli’s past year of commit activity

JavaScript 126 Apache-2.0 50 68 6 Updated Oct 28, 2025
mina-internal-trace-consumer Public Forked from georgeee/mina-internal-trace-consumer
Internal trace consumer and GraphQL server for Mina node

o1-labs/mina-internal-trace-consumer’s past year of commit activity

OCaml 0 3 0 0 Updated Oct 26, 2025
mina-perf-testing Public
The Mina network performance testing tools

o1-labs/mina-perf-testing’s past year of commit activity

Go 1 Apache-2.0 0 2 4 Updated Oct 26, 2025

View all repositories

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.