# celabshq/libcrux

<https://repo.masters-masters.com/en/repos/celabshq/libcrux>

[Home](https://repo.masters-masters.com/en) › [celabshq](https://repo.masters-masters.com/en/owners/celabshq) › [libcrux](https://repo.masters-masters.com/en/repos/celabshq/libcrux)

celabshq/libcrux has 271 stars on GitHub. Its RepoMasters card: Alpha tier. The formally verified crypto library for Rust Language: C.

| Field | Value |
| --- | --- |
| Owner | [celabshq](https://repo.masters-masters.com/en/owners/celabshq) |
| Stars | 271 |
| Forks | 65 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | Apache-2.0 |
| Created | 2022 |
| Topics | cryptography, encryption, formal-verification, signatures |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [celabshq/libcrux](https://github.com/celabshq/libcrux) |

## Repository

The formally verified crypto library for Rust

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in C

- [MicroLua/MicroLua · ★ 271 · C · Alpha](https://repo.masters-masters.com/en/repos/MicroLua/MicroLua)
- [aitjcize/esp32-photoframe · ★ 271 · C · Alpha](https://repo.masters-masters.com/en/repos/aitjcize/esp32-photoframe)
- [baptisterajaut/radmin-vpn-linux · ★ 271 · C · Alpha](https://repo.masters-masters.com/en/repos/baptisterajaut/radmin-vpn-linux)
- [sqlp/sedumi · ★ 271 · C · Alpha](https://repo.masters-masters.com/en/repos/sqlp/sedumi)
- [chameco/Solid · ★ 271 · C · Alpha](https://repo.masters-masters.com/en/repos/chameco/Solid)
- [tiehuis/2048-cli · ★ 271 · C · Alpha](https://repo.masters-masters.com/en/repos/tiehuis/2048-cli)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.