8000 delcypher (Dan Liew) / Starred Β· GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View delcypher's full-sized avatar

Highlights

  • Pro

Organizations

@halide @iccsw @stp @symbooglix @boogie-org @sv-comp @sosy-lab

Block or report delcypher

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

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

HTML 11,693 1,228 Updated May 11, 2025

FFMPEG Assembly Language Lessons

5,733 145 Updated Mar 23, 2025

Convert .ninja_log files to chrome's about:tracing format.

Python 461 49 Updated Jun 5, 2024

A fast and clever hex editor for macOS

Objective-C 5,585 440 Updated Apr 12, 2025

An utility to check if two files are clones in macOs APFS.

C 74 6 Updated Nov 24, 2021
Python 12 6 Updated Jan 23, 2022

Fuzz Introspector -- introspect, extend and optimise fuzzers

Python 415 69 Updated May 21, 2025

A command-line benchmarking tool

Rust 25,110 400 Updated May 1, 2025

C++11 library for many-sorted logics

C++ 39 4 Updated Nov 21, 2016

C++ Insights - See your source code with the eyes of a compiler

C++ 4,277 254 Updated May 14, 2025

Yet Another Random Program Generator

C++ 508 59 Updated May 12, 2025

Terminal string styling done right, in Python 🐍 πŸŽ‰

Python 533 23 Updated Jan 7, 2024

Linux kernel exploitation experiments

C 265 45 Updated May 18, 2025

The Yices SMT Solver

SMT 408 56 Updated May 24, 2025

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

SMT 347 67 Updated Aug 23, 2024

A collection of common interactive command line user interfaces, based on Inquirer.js (https://github.com/SBoudrias/Inquirer.js/)

Python 1,076 100 Updated May 9, 2025

A Python module for common interactive command line user interfaces

Python 1,981 237 Updated Mar 2, 2024

Generate GIF animations from asciicasts (asciinema recordings)

CSS 1,207 82 Updated Aug 14, 2022

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

C 3,185 517 Updated May 19, 2025

Type-safe YAML parser and validator.

Python 1,537 61 Updated May 23, 2025

Color schemes for default macOS Terminal.app

Swift 6,134 900 Updated Jun 18, 2024

Multi-User Tmux Made Easy

Shell 3,648 142 Updated Oct 3, 2022

transparently encrypt files within a git repository

Shell 1,542 106 Updated May 7, 2025

Immersive terminal interface for managing docker containers and services

JavaScript 3,907 161 Updated Apr 27, 2025

πŸ‘₯ A bash-tool to store your private data inside a git repository.

Shell 3,847 201 Updated Apr 21, 2025

PGP-encrypted git remotes

Shell 868 103 Updated Dec 29, 2024

Transparent file encryption in git

C++ 8,854 491 Updated Sep 3, 2024

A hacky debugger UI for hackers

Python 6,260 415 Updated Jan 30, 2025
C++ 280 34 Updated Apr 10, 2023

This project contains the source code for the CERT Basic Fuzzing Framework (BFF) and the CERT Failure Observation Engine (FOE).

Python 269 56 Updated Apr 11, 2024
Next
0