jtcoolen

ocaml-pari

OCaml bindings to the number theory library PARI/GP

asymmetric_crypto

bot

A (Coq Development Team) bot written in OCaml

cgdkg_artifact

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cpp_option_type

crypto-bigint

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas

distributed_file_system

ecm

error_correcting_codes

GLV_arkworks

libclang-ocaml-bindings-generator

Utility to generate OCaml bindings for C/C++ headers

nixpkgs

Nix Packages collection

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

hacl-packages

The Cryspen HACL Distribution

hacl-star

HACL*, a formally verified cryptographic library written in F*

ideal_class_group_crypto

Cryptography based on ideal class groups of imaginary quadratics fields

jtcoolen.github.io

libcrux

The formally verified crypto library for Rust

nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

OpenBBTerminal

Investment Research for Everyone, Everywhere.

sequencer

PoC of a distributed sequencer network for Tezos smart rollups, based on Sui's Narwhal & Bullshark consensus implementation

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

suplex

A DSL compiling to LLVM using the tagless-final approach

teztnets

threshold_encryption

uc-lean

whymp