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

Achievements

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

Achievements

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

Organizations

@CTSRD-CHERI @vellvm @codeminders @digamma-ai @rems-project
Block or Report

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

  1. helix helix Public

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

    Coq 23 4

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

    Script to remove unnecessary module imports from Coq sourcess

    OCaml 2 1

  3. coq-switch coq-switch Public

    `switch` plugin for Coq

    Coq 4

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

    Coq formalization of ASN.1 floating point

    Coq 6 3

  5. codeminders/isentry codeminders/isentry Public

    Motion Detection Security Camera

    Mathematica 5 2

  6. dashcam-browse dashcam-browse Public

    Vsysto Motorcycle Dashcam Web Browser

    JavaScript 4 2