claucece

Sofía Celi's starred repositories

chromium

The official GitHub mirror of the Chromium source

Language:C++BSD-3-Clause19153 5660

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Language:RustNOASSERTION11446 87 6890

mysql-server

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

Language:C++NOASSERTION10865 5630

sled

the champagne of beta embedded databases

Language:RustApache-2.08165 132 582

cutlass

CUDA Templates for Linear Algebra Subroutines

Language:C++NOASSERTION5641 109 1130

criterion.rs

Statistics-driven benchmarking library for Rust

Language:RustApache-2.04610 30 508

private-join-and-compute

Language:C++Apache-2.0794 44 36

cargo-instruments

A cargo plugin to generate Xcode Instruments trace files

Language:RustMIT680 12 52

jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Language:RustMIT679 29 126

aws-lc

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

Language:C++NOASSERTION395 22 44

sss

Library for the Shamir secret sharing scheme

Language:CMIT352 12 22

curves

Implementations of popular elliptic curves

Language:RustApache-2.0303 18 32

matrixmultiply

General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.

Language:RustApache-2.0210 4 27

kyber-py

A pure python implementation of ML-KEM (FIPS 203) and CRYSTALS-Kyber

Language:PythonMIT204 4 31

go-sync

Brave sync server v2

Language:GoMPL-2.0190 15 57

libcrux

The formally verified crypto library for Rust

Language:CApache-2.088 10 200

sphinxcontrib-jupyter

A Sphinx Extension for Generating Jupyter Notebooks

Language:PythonBSD-3-Clause77 10 181

cait-sith

Threshold ECDSA via Triples

Language:RustMIT73 4 6

zkvm-benchmarks

Benchmarks of popular zkVMs including Jolt

Language:Rust56 6 1

voprf

An implementation of a verifiable oblivious pseudorandom function (RFC 9497)

Language:RustApache-2.055 8 10

fastmatmult

Some experiments… and maybe a surprise coming.

Language:RustApache-2.033 5 1

tinybear

Language:RustBSD-3-Clause22 3 1

activitypub-e2ee

Coordination of work on end-to-end encryption with ActivityPub

20 9 33

ypir

Language:RustMIT16 3 3

zkproof

ZKProof SNARK-friendly primitives working group document

Language:TeXMIT10 50

strassen

Sample implementations of the Strassen algorithm for matrix multiplication

Language:C++MIT9 10

draft-beyond-carbon

5 2 12

emblem-scope

Scoping and potential chartering of work for authenticated distinctive digital emblems and signs.

100

draft-mouris-cfrg-mastic

Specification of the Mastic Verifiable Distributed Aggregation Function (VDAF)

Language:PythonNOASSERTION1 3 39

latticezk

A lattice-based zero-knowledge protocol implementation for CPU and GPU along with fast Gaussian samplers

Language:C++NOASSERTION100