Skip to content
View weaversa's full-sized avatar
18 followers · 4 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
Block or Report

Block or report weaversa

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

Popular repositories Loading

  1. cryptol-course cryptol-course Public

    The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

    Python 25 13

  2. c_symsim c_symsim Public

    C-based shallow embedding of Ghidra's P-code symbolic execution

    C 7

  3. MPHF MPHF Public

    An efficient minimal perfect hash function generator for small sets

    C 7 2

  4. cryptol-rust-client cryptol-rust-client Public

    A Rust client for Cryptol's remote-api

    Rust 3

  5. Satisfiability-Museum Satisfiability-Museum Public

    The Satisfiability Museum

    C 2

  6. c_list_types c_list_types Public

    C 2