← Back to Discover
celabshq

celabshq/libcrux

CApache-2.0active
79Health

The formally verified crypto library for Rust

Stars260
Forks59
Open Issues116
Contributors59
Last Push1d ago

Health Breakdown

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

Should you contribute to celabshq/libcrux?

celabshq/libcrux has a FoundDev health score of 79/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 1 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
79

The formally verified crypto library for Rust

active
26059 contributors116 issues
1d ago

More C repos

FreeRDP
FreeRDP/FreeRDP
FreeRDP is a free remote desktop protocol library and clients
13.7k100
nanoframework
nanoframework/nf-interpreter
:gear: nanoFramework Interpreter, CLR, HAL, PAL and reference target boards
35593
oiuv
oiuv/mud
炎黄文字MUD游戏,请使用 fluffos v2019 驱动
17892