Skip to content
View ReMarxist's full-sized avatar
⚙️
⚙️
1 follower · 1 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report ReMarxist

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. learnsql learnsql Public

    An interactive SQL trainer

    JavaScript 3

  2. acsl-extension acsl-extension Public

  3. VeHaContest2023 VeHaContest2023 Public

    Forked from SergeyStaroletov/VeHaContest2023

    Promela

  4. k k Public

    Forked from runtimeverification/k

    K Framework Tools 6.0

    Java

  5. formal-methods formal-methods Public

    Forked from iwilare/formal-methods

    Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language

    Agda