Skip to content
View 54rt1n's full-sized avatar

Highlights

  • Pro

Organizations

@TELEMEMORY

Block or report 54rt1n

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
Stars

clever

4 repositories

Super fast fixed-point MP3 encoder with JS/wasm and android native bindings.

C 400 64 Updated Dec 1, 2023

C macros for hash tables and more

C 4,278 935 Updated Feb 10, 2025

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Rust 3,108 188 Updated Feb 22, 2025

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

F* 1,644 173 Updated Feb 19, 2025