Skip to content
View ksk's full-sized avatar
18 followers · 6 following

Highlights

  • Pro

Block or report ksk

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.

Content in all repositories owned by your account will be closed.
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

Popular repositories Loading

  1. Rho Rho Public

    Programs for checking the ρ property

    OCaml 17

  2. TPPMark2025 TPPMark2025 Public

    Submitted Solutions to TPPMark 2025

    Rocq Prover 2

  3. ot-rocq ot-rocq Public

    Forked from JetBrains/ot-coq

    ot-rocq : a fixed and updated version of the ot-coq project to run on modern systems

    Rocq Prover 1

  4. ocaml ocaml Public

    OCaml

  5. BIRDS BIRDS Public

    Forked from dangtv/BIRDS

    Bidirectional transformation for Relational view update Datalog-based Strategies

    OCaml

  6. homtrs homtrs Public

    Forked from mir-ikbch/homtrs

    OCaml