Skip to content
View benjamin-hejl's full-sized avatar

Block or report benjamin-hejl

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

    Forked from cvc5/cvc5

    cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

    SMT

  2. z3 z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++

  3. jpf-costar jpf-costar Public

    Forked from star-finder/jpf-costar

    Test input generation using separation logic

    Java

  4. jdart jdart Public

    Forked from psycopaths/jdart

    A dynamic symbolic analysis tool for Java

    Java

  5. DynamicData DynamicData Public

    Forked from reactivemarbles/DynamicData

    Reactive collections based on Rx.Net

    C#

  6. CommunityToolkit-dotnet CommunityToolkit-dotnet Public

    Forked from CommunityToolkit/dotnet

    .NET Community Toolkit is a collection of helpers and APIs that work for all .NET developers and are agnostic of any specific UI platform. The toolkit is maintained and published by Microsoft, and …

    C#