Skip to content
View sinanspd's full-sized avatar
5 followers · 0 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report sinanspd

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 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. scalaQ-psi-collapse scalaQ-psi-collapse Public

    Scala 1

  2. uniformityChecker uniformityChecker Public

    Uniformity Checker for boolean formulas

    C++

  3. scala-library-next scala-library-next Public

    Forked from scala/scala-library-next

    backwards-binary-compatible Scala standard library additions

    Shell

  4. forgeCat forgeCat Public

    Racket

  5. transactional transactional Public

  6. Forge Forge Public

    Forked from tnelson/Forge

    Forge: A Tool and Language for Teaching Formal Methods

    Racket