Skip to content
View Kraks's full-sized avatar
🐈
no longer working from home
🐈
no longer working from home
302 followers · 409 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Highlights

  • Pro

Organizations

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

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 Generative-Program-Analysis/GenSym Public

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

    Java 121 4

  2. TiarkRompf/lms-clean TiarkRompf/lms-clean Public

    Scala 54 24

  3. playground playground Public

    my playground

    Coq 3

  4. sai sai Public

    Staged Abstract Interpreters

    Scala 65 8

  5. quantum-compiler quantum-compiler Public

    Quantum circuits compiler with staging and continuations

    Scala 13

  6. diamond-lang diamond-lang Public

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

    Scala 43 1