Skip to content
Avatar
👀
👀
185 followers · 12 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@matfystutor @TK-IT @albertlauncher @beeracademy @d-pop @fredagscafeen
Block or Report

Block or report Tyilo

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. insert_dylib Public

    Command line utility for inserting a dylib load command into a Mach-O binary

    C 1.3k 250

  2. macho_edit Public

    Command line utility for modifying Mach-O binaries in various ways.

    C++ 145 37

  3. NetworkAutoLogin Public

    Automagically logs into to Captive Portal Networks

    Objective-C 131 19

  4. cycript-utils Public

    Various cycript functions

    Cycript 128 41

  5. asm_repl Public

    A REPL for assembly

    C 93 8

  6. MonitorControl.OSX Public

    Forked from mathew-kurian/MonitorControl.OSX

    A menulet to control your monitor (brightness, contrast, volume) on your Mac; Dell and LG monitors

    Swift 83 15

482 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

Created 1 commit in 1 repository

Created an issue in Z3Prover/z3 that received 3 comments

Python: Add binding for abs function

It would make sense if the abs function from SMTLIB2 was exposed in the python bindings as z3.Abs.

3 comments
Opened 2 other issues in 1 repository
4 contributions in private repositories Jan 7 – Jan 14

Seeing something unexpected? Take a look at the GitHub profile guide.