Skip to content
View mamonet's full-sized avatar

Organizations

@hacl-star @cryspen

Block or report mamonet

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
JavaScript 1 Updated Jan 24, 2025

A Rust verification tool

OCaml 215 22 Updated Jan 24, 2025

A native, user-mode, multi-process, graphical debugger.

C 3,868 194 Updated Jan 24, 2025

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

F* 1,639 170 Updated Jan 26, 2025

The formally verified crypto library for Rust

C 98 16 Updated Jan 25, 2025

The Cryspen HACL Distribution

C 16 17 Updated Jan 26, 2025
Showing results