Skip to content
View Kraks's full-sized avatar
:octocat:
:octocat:
332 followers · 431 following

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@Ucombinator @Coq-zh @Generative-Program-Analysis @rhyme-lang

Block or report Kraks

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

Pinned Loading

  1. Generative-Program-Analysis/GenSym Public

    A high-performance, parallel, compilation-based symbolic execution engine

    Java 132 6

  2. TiarkRompf/lms-clean Public

    Scala 55 25

  3. playground Public

    my playground

    Coq 3

  4. sai Public

    Staged Abstract Interpreters

    Scala 69 8

  5. quantum-compiler Public

    Quantum circuits compiler with staging and continuations

    Scala 17

  6. diamond-lang Public

    A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

    Scala 45 1

Kraks (Guannan Wei) · GitHub
Skip to content
View Kraks's full-sized avatar
:octocat:
:octocat:
332 followers · 431 following

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Starstruckx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@Ucombinator @Coq-zh @Generative-Program-Analysis @rhyme-lang

Block or report Kraks

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

Pinned Loading

  1. Generative-Program-Analysis/GenSym Public

    A high-performance, parallel, compilation-based symbolic execution engine

    Java 132 6

  2. TiarkRompf/lms-clean Public

    Scala 55 25

  3. playground Public

    my playground

    Coq 3

  4. sai Public

    Staged Abstract Interpreters

    Scala 69 8

  5. quantum-compiler Public

    Quantum circuits compiler with staging and continuations

    Scala 17

  6. diamond-lang Public

    A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

    Scala 45 1