Skip to content
@psycopaths

psycopaths

Popular repositories Loading

  1. jdart jdart Public

    A dynamic symbolic analysis tool for Java

    Java 114 40

  2. jdoop jdoop Public

    An automatic testing tool for Java software

    Python 24 6

  3. jconstraints jconstraints Public

    A constraint solver abstraction layer for Java

    Java 21 10

  4. jconstraints-z3 jconstraints-z3 Public

    jConstraints abstraction layer for Z3

    Java 9 8

  5. psyco psyco Public

    A tool for generating symbolic interfaces for software components

    Java 6 3

  6. jconstraints-cw jconstraints-cw Public

    jConstraints abstraction layer for the Concolic Walk algorithm

    Java 2 1

Repositories

Showing 10 of 10 repositories
  • jconstraints Public

    A constraint solver abstraction layer for Java

    psycopaths/jconstraints’s past year of commit activity
    Java 21 Apache-2.0 10 0 1 Updated Apr 16, 2023
  • jdart Public

    A dynamic symbolic analysis tool for Java

    psycopaths/jdart’s past year of commit activity
    Java 114 Apache-2.0 40 15 3 Updated Jun 2, 2019
  • jdoop Public

    An automatic testing tool for Java software

    psycopaths/jdoop’s past year of commit activity
    Python 24 GPL-3.0 6 1 0 Updated May 21, 2018
  • jconstraints-smtinterpol Public

    jConstraints abstraction layer for the SMTInterpol solver

    psycopaths/jconstraints-smtinterpol’s past year of commit activity
    Java 0 Apache-2.0 1 0 1 Updated Apr 20, 2018
  • psyco Public

    A tool for generating symbolic interfaces for software components

    psycopaths/psyco’s past year of commit activity
    Java 6 Apache-2.0 3 1 0 Updated Oct 6, 2016
  • jconstraints-z3 Public

    jConstraints abstraction layer for Z3

    psycopaths/jconstraints-z3’s past year of commit activity
    Java 9 Apache-2.0 8 0 0 Updated Oct 6, 2016
  • jdoop-examples Public

    Examples for JDoop

    psycopaths/jdoop-examples’s past year of commit activity
    Makefile 1 1 0 0 Updated Nov 13, 2015
  • jconstraints-dreal Public

    jConstraints abstraction layer for the dReal solver

    psycopaths/jconstraints-dreal’s past year of commit activity
    Java 1 Apache-2.0 1 0 0 Updated Nov 4, 2015
  • jconstraints-coral Public

    jConstraints abstraction layer for the CORAL solver

    psycopaths/jconstraints-coral’s past year of commit activity
    Java 2 Apache-2.0 1 1 0 Updated Oct 22, 2015
  • jconstraints-cw Public

    jConstraints abstraction layer for the Concolic Walk algorithm

    psycopaths/jconstraints-cw’s past year of commit activity
    Java 2 Apache-2.0 1 0 0 Updated Oct 22, 2015

Top languages

Loading…

Most used topics

Loading…