kupl/apps-sal kupl/apps-sal

  • Stars
    star
    1
  • Language
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kupl/apps-sal
github

kupl

Reviews

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

Repository Details

Programming Competition Style Python Codes Datasets

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

starlab-benchmarks

Repository for Software STARLAB benchmarks
Java
4
star
21

Diver

Python
4
star
22

PL4XGL

Python
4
star
23

ConTest

C
3
star
24

SAVER_public

C
3
star
25

dd-klee

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

Compilers2020

OCaml
3
star
27

AAA528

AAA528 Computational Logic
OCaml
2
star
28

OBJ2CFA

Java
2
star
29

TestML

OCaml
2
star
30

qsyn

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

AAA616-2022Fall

OCaml
2
star
32

Data-Driven-Pointsto-Analysis

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

Compiler2017

Compiler 2017
OCaml
2
star
34

erc-group2-framework

Python
1
star
35

kaprese-engines

Python
1
star
36

SeamFuzz-public

Public repository for SeamFuzz
C
1
star
37

CutFuzz

Python
1
star
38

kupl.github.io

HTML
1
star
39

PL2016-HW5

OCaml
1
star
40

NPEX_Artifacts

1
star