Skip to content
View mherasg's full-sized avatar

Block or report mherasg

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 Loading

  1. tsx tsx Public

    Tinyscheme Extensions

    C 3

  2. pkits-docs pkits-docs Public

    Deliverables from PKITS project

  3. Snap Snap Public

    Forked from jmoenig/Snap

    a visual programming language inspired by Scratch

    JavaScript

  4. crujisim crujisim Public

    Forked from jtoledo1974/crujisim

    Crujisim is a tool to allow Air Traffic Controllers trainees to practice in a radar environment. Different users connect to a hosting server to act either as controllers for adjacent positions or p…

    Python

  5. cgen cgen Public

    Forked from vsklad/cgen

    CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

    C++

  6. bosphorus bosphorus Public

    Forked from meelgroup/bosphorus

    Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter

    C++