Skip to content
View SoptikHa2's full-sized avatar
103 followers · 35 following
  • Aisle
  • Prague

Organizations

@bakalari-api @lang-talk

Block or report SoptikHa2

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. desed desed Public

    Debugger for Sed: demystify and debug your sed scripts, from comfort of your terminal.

    Rust 1.2k 27

  2. bachelors-thesis bachelors-thesis Public

    Bachelor's thesis: developing symbolic execution for Rlang using Chef and S2E

    Dockerfile 5

  3. microc-analysis microc-analysis Public

    Statical program analysis for μC

    Haskell 1