← Back to Discover
celabshq

celabshq/libcrux

CApache-2.0active
81Health

The formally verified crypto library for Rust

Stars244
Forks53
Open Issues93
Contributors53
Last Push0d ago

Health Breakdown

Activity
25
Community
25
Maintenance
6
Popularity
25
#cryptography#encryption#formal-verification#signatures
View on GitHub ↗Issues (93) ↗Pull Requests ↗Wiki ↗

Should you contribute to celabshq/libcrux?

celabshq/libcrux has a FoundDev health score of 81/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in C, so prior C experience will shorten ramp-up.

Licensed under Apache-2.0, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

celabshq
celabshq/libcrux
CApache 2.0
81

The formally verified crypto library for Rust

active
24453 contributors93 issues
0d ago

More C repos

qmk
qmk/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
20.5k99
FreeRDP
FreeRDP/FreeRDP
FreeRDP is a free remote desktop protocol library and clients
13.3k99
pelicanmapping
pelicanmapping/osgearth
3D Maps & Terrain SDK (C++)
1.8k93