FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

aztek (Evgenii Kotelnikov) · GitHub

Overview Repositories 53 Projects Packages Stars 133
70 followers · 32 following

Achievements

x2x3x2

Achievements

x2x3x2

Block or report aztek

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.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.
Add an optional note
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. vprover/vampire vprover/vampire Public

    The Vampire Theorem Prover

    C++ 430 80

  2. scala-workflow scala-workflow Public

    Boilerplate-free syntax for computations with effects

    Scala 178 13

  3. awesome-self-reference awesome-self-reference Public

    A curated list of examples of self-reference in art, science, and technology

    268 8

  4. turing-complete-iceberg turing-complete-iceberg Public

    The "X is Turing-complete" Iceberg meme

    HTML 1

  5. atp atp Public

    Haskell interface to automated theorem provers

    Haskell 10

  6. tptp tptp Public

    Parser and pretty printer for the TPTP language

    Haskell 7 2

Back | FazBrowse Home | New Git URL