💭
Umm, why?
Block or report user

Report or block Sumith1896

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@sympy @wncc @uwplse @symengine @pydsa

Pinned repositories

  1. uwplse/syncro

    Synthesis of Incremental Operations

    Racket 1 1

  2. epfl-lara/leon

    The Leon system for verification, synthesis, repair

    Scala 146 49

  3. symengine/symengine

    SymEngine is a fast symbolic manipulation library, written in C++

    C++ 405 175

  4. tusSAT

    A SAT solver implementation in VHDL, team tussle

    VHDL 15 2

  5. skosette

    Reimplementation of the Skolem function generation using Rosette

    Racket

  6. verify-xv6

    Verification of the buffer cache module in the xv6 operating system

    C

97 contributions in the last year

Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2019

6 contributions in private repositories Feb 2 – Feb 11

Seeing something unexpected? Take a look at the GitHub profile guide.