Skip to content
View btj's full-sized avatar

Organizations

@verifast

Block or report btj

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. ogp-notes ogp-notes Public

    Shell 39 26

  2. ocaml-gtk ocaml-gtk Public

    Python 7 2

  3. jlearner jlearner Public

    Visualize the execution of Java snippets in the browser

    JavaScript 4

  4. ogptaglets ogptaglets Public

    Javadoc taglets for the OGP course

    Java 4 3

  5. interval_2020 interval_2020 Public

    Java 4

  6. beoi18-krokuscursus beoi18-krokuscursus Public

    3