kupl/starlab-benchmarks kupl/starlab-benchmarks

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Java
  • License
    Other
  • Created about 4 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kupl/starlab-benchmarks
github

kupl

Reviews

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

Repository Details

Repository for Software STARLAB benchmarks

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

Diver-Artifact

Python
7
star
16

Chameleon

C
6
star
17

synthrl

SynthRL [ˈsɪnθrɪl]
Python
5
star
18

SimplPublic

OCaml
5
star
19

pyter_tool

Python
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