Skip to content
View tizmd's full-sized avatar

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report tizmd

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

  1. binja-v850 binja-v850 Public

    Renesas V850/RH850 Architecture plugin for Binary Ninja

    Python 2

  2. gdsl-toolkit gdsl-toolkit Public

    Forked from gdslang/gdsl-toolkit

    Generic Decoder Specification Language Toolkit

    Java

  3. IdaHaskell IdaHaskell Public

    Forked from kvnesterov/IdaHaskell

    Allows to execute haskell code in Ida Pro.

    Haskell

  4. lean-finitary lean-finitary Public

    Lean

  5. lean-graph lean-graph Public

    Lean

  6. lean-abstract-interpretation lean-abstract-interpretation Public

    Lean