Skip to content
View mygithubhk's full-sized avatar
3 followers · 8 following

Block or report mygithubhk

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@marcellop71
Marcello Paris marcellop71

Rome, Italy

@VictorTaelin
Victor Taelin VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.

Higher Order Company Rio de Janeiro, Brazil

@stephenleo
Marie Stephen Leo stephenleo
Data Director | Linkedin Top Voice | Towards Data Science | Towards AI contributor

Singapore

@FormAI-Dataset
FormAI Dataset FormAI-Dataset
FormAI dataset is a large collection of AI-generated compilable C programs with vulnerability classification. The current release, v2, contains 331,000 samples.
@haizelabs
Haize Labs haizelabs
build ai systems you can trust.

United States of America

@elizaOS
elizaOS elizaOS
Accelerating toward a bright future for all humans and agents.
@ZealynxSecurity
Zealynx Security ZealynxSecurity
@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America