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

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck
BetaSend feedback

Highlights

  • Pro

Organizations

@Ucombinator @Coq-zh @Generative-Program-Analysis
Block or Report

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

  1. Generative-Program-Analysis/GenSym Generative-Program-Analysis/GenSym Public

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

    Java 112 3

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

    Scala 53 24

  3. playground playground Public

    my playground

    Coq 3

  4. sai sai Public

    Staged Abstract Interpreters

    Scala 63 8

  5. quantum-compiler quantum-compiler Public

    Quantum circuits compiler with staging and continuations

    Scala 11

  6. diamond-lang diamond-lang Public

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

    Scala 34 1