Block or report user

Report or block ilmirus

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@LibProtection

Popular repositories

  1. stp

    Forked from stp/stp

    Simple Theorem Prover.

    C

  2. minisat

    Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    C++

  3. zlib

    Forked from madler/zlib

    A massively spiffy yet delicately unobtrusive compression library.

    C

  4. cryptominisat

    Forked from msoos/cryptominisat

    An advanced SAT Solver

    C++

  5. warp

    Forked from facebookarchive/warp

    A fast preprocessor for C and C++

    D

  6. vex

    Forked from angr/vex

    A patched version of VEX to work with PyVEX.

    C

150 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to JetBrains/kotlin, ilmirus/omake, LibProtection/libprotection-java and 5 other repositories
Loading

Contribution activity

November 2018

ilmirus has no activity yet for this period.

October 2018

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