Skip to content
View vzaliva's full-sized avatar
45 followers · 3 following

Achievements

Achievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: YOLOAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Organizations

@CTSRD-CHERI @vellvm @codeminders @digamma-ai @rems-project

Block or report vzaliva

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. helix helix Public

    Formally verified operator language and rewriting engine for high-performance computing

    Coq 24 4

  2. coq-min-imports coq-min-imports Public

    Script to remove unnecessary module imports from Coq sourcess

    OCaml 1 1

  3. coq-switch coq-switch Public

    `switch` plugin for Coq

    Coq 3

  4. digamma-ai/asn1fpcoq digamma-ai/asn1fpcoq Public

    Coq formalization of ASN.1 floating point

    Coq 5 3

  5. codeminders/isentry codeminders/isentry Public

    Motion Detection Security Camera

    Mathematica 4 2

  6. dashcam-browse dashcam-browse Public

    Vsysto Motorcycle Dashcam Web Browser

    JavaScript 4 2