Staging repo for development of native port of TypeScript

A powerful cross-platform raw photo processing program

darktable is an open source photography workflow application and raw developer

Aligned SDK in TypeScript

The core OCaml system: compilers, runtime system, base libraries

A curated list of awesome places to learn and/or practice algorithms.

SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.

zkBitcoin: zero-knowledge proofs on Bitcoin!

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

Zeko: zk-Rollup for Mina, a succinct blockchain

A place to learn ZK with Jupyter

Audited & minimal JS implementation of elliptic curve cryptography.

SvelteKit sitemap focused on ease of use and making it impossible to forget to add your paths.

Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum

Baby SNARK (do do dodo dodo)

🪽 Credential creation, issuance, and proving framework

Collection of TypeScript type challenges with online judge

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

A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

A flexible toolkit for building real-time blockchains

zk-SNARK library.

OCaml DSL for verifiable computation

Implementation of different versions of the partial homomorphic encryption algorithm ElGamal in SnarkyJS.

A modern, portable, easy to use crypto library.

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

A zkApp based staking pool for MINA

Node.js JavaScript runtime ✨🐢🚀✨

A curated list of cryptography resources and links.