kupl/Diver-Artifact kupl/Diver-Artifact

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Python
  • License
    MIT License
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kupl/Diver-Artifact
github

kupl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

VeriSmart-public

a safety verifier for Solidity smart contracts
OCaml
91
star
2

VeriSmart-benchmarks

Solidity
60
star
3

AlphaRegexPublic

OCaml
33
star
4

ParaDySE

C
32
star
5

adapt

ADAPT is the open source white-box testing framework for deep neural networks
Jupyter Notebook
20
star
6

npex

Java
14
star
7

SeamFuzz-Artifact

SeamFuzz Artifact repository for ICSE 2023
C
13
star
8

MicSE

The Michelson Symbolic vErifier
OCaml
13
star
9

PyTER

Python
12
star
10

SmartFix-Artifact

Solidity
10
star
11

Graphick

Shell
8
star
12

HOMI_public

C++
8
star
13

LearnML

A framework for generating personalized feedbacks on functional programming assignments
OCaml
8
star
14

FixML

OCaml
7
star
15

Chameleon

C
6
star
16

synthrl

SynthRL [ˈsΙͺnΞΈrΙͺl]
Python
5
star
17

SimplPublic

OCaml
5
star
18

pyter_tool

Python
4
star
19

starlab-benchmarks

Repository for Software STARLAB benchmarks
Java
4
star
20

Diver

Python
4
star
21

PL4XGL

Python
4
star
22

ConTest

C
3
star
23

SAVER_public

C
3
star
24

dd-klee

Data-driven symbolic execution engine, implemented on top of KLEE
C++
3
star
25

Compilers2020

OCaml
3
star
26

AAA528

AAA528 Computational Logic
OCaml
2
star
27

OBJ2CFA

Java
2
star
28

TestML

OCaml
2
star
29

qsyn

Artifact for paper Modular Component-based Quantum Circuit Synthesis
Python
2
star
30

AAA616-2022Fall

OCaml
2
star
31

Data-Driven-Pointsto-Analysis

Data-Driven Context-Sensitivity for Points-to Analysis
Shell
2
star
32

Compiler2017

Compiler 2017
OCaml
2
star
33

erc-group2-framework

Python
1
star
34

kaprese-engines

Python
1
star
35

SeamFuzz-public

Public repository for SeamFuzz
C
1
star
36

CutFuzz

Python
1
star
37

kupl.github.io

HTML
1
star
38

PL2016-HW5

OCaml
1
star
39

apps-sal

Programming Competition Style Python Codes Datasets
1
star
40

NPEX_Artifacts

1
star