Skip to content
View victoria-petite's full-sized avatar
🐈
🐈
4 followers · 11 following
  • Philadelphia, PA

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark
Block or Report

Block or report victoria-petite

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

Popular repositories Loading

  1. coq-sequent-calculus coq-sequent-calculus Public

    Forked from dschepler/coq-sequent-calculus

    Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic

    Coq 1

  2. Kami Kami Public

    Forked from sifive/Kami

    Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

    Coq 1

  3. thesaurus thesaurus Public

    Forked from tindzk/thesaurus

    Thesaurus for programmers

  4. vigil vigil Public

    Forked from munificent/vigil

    Vigil, the eternal morally vigilant programming language

    Python

  5. cluster-scheduler-simulator cluster-scheduler-simulator Public

    Forked from google/cluster-scheduler-simulator

    Automatically exported from code.google.com/p/cluster-scheduler-simulator

    Scala

  6. FStar FStar Public

    Forked from FStarLang/FStar

    Verification system for effectful programs

    F*