Skip to content
View diagprov's full-sized avatar

Organizations

@teserakt-io @purseclab

Block or report diagprov

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

Starred repositories

275 results for source starred repositories
Clear filter

A date-time library for Rust that encourages you to jump into the pit of success.

Rust 1,674 28 Updated Sep 19, 2024

Find unmaintained packages in Rust projects

Rust 63 2 Updated Sep 16, 2024

The SQALE of CSIDH: Square-root velu Quantum-resistant isogeny Action with Low Exponents

C 12 1 Updated Jul 1, 2021

(Self-)educational implementation of the Hawk 1.0 PQC Signature Scheme

Python 4 1 Updated Jul 16, 2023

Smartcard APDU sniffer for windows

C 30 12 Updated Sep 14, 2013

A post-modern modal text editor.

Rust 32,930 2,428 Updated Sep 21, 2024

Digitally sign PDF files from your commandline

Java 848 41 Updated Sep 12, 2024

Sail architecture definition language

Isabelle 587 102 Updated Sep 20, 2024

Your One-Stop Publication Workbench

TypeScript 10,186 625 Updated Sep 19, 2024

Kani Rust Verifier

Rust 2,138 84 Updated Sep 21, 2024

A cross-shell customizable powerline-like prompt with icons

Rust 463 29 Updated Feb 21, 2024

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

Rust 2,324 127 Updated Jul 12, 2024

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

Rust 539 148 Updated Sep 16, 2024

Curve ecGFp5

Rust 66 9 Updated Mar 31, 2022

Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper

C++ 78 7 Updated Apr 13, 2022

Gather and update all available and newest CVEs with their PoC.

HTML 6,461 814 Updated Sep 22, 2024

Partclone provides utilities to backup a partition smartly and it is designed for higher compatibility of the file system by using existing library.

C 322 105 Updated Jul 30, 2024

Retrowrite Development (Internal) Repository

7 2 Updated Mar 21, 2022
C 2,288 968 Updated Aug 15, 2024

GUI tool for storage configuration using blivet library

Python 167 25 Updated Sep 19, 2024

Exploit for CVE-2021-4034

C 94 14 Updated Jan 27, 2022

An S/MIME signing utility for use with Git

Go 587 133 Updated Sep 17, 2024

FirmWire is a full-system baseband firmware emulation platform for fuzzing, debugging, and root-cause analysis of smartphone baseband firmwares

Python 749 76 Updated Sep 20, 2024

Learning FPGA, yosys, nextpnr, and RISC-V

C++ 2,518 241 Updated May 11, 2024

OpenTitan: Open source silicon root of trust

SystemVerilog 2,514 746 Updated Sep 21, 2024

WinRemoteEnum is a module-based collection of operations achievable by a low-privileged domain user.

Python 13 2 Updated Oct 24, 2022

A cross-platform, OpenGL terminal emulator.

Rust 55,652 2,994 Updated Sep 10, 2024

A set of tools for fuzzing SecureROM. Managed to find and trigger checkm8.

Go 161 18 Updated Sep 18, 2021

A cargo subcommand to manage local registries

Rust 150 18 Updated Aug 5, 2024

a debugger for async rust!

Rust 3,519 138 Updated Sep 17, 2024
Next