Explore @kupl Open Source projects

@kupl

kupl

Stars
400
Global Org. Rank 27,349 (Top 9 %)
Registered over 9 years ago
Most used languages

OCaml
30.8 %

Python
25.6 %

C
15.4 %

Java
7.7 %

Solidity
5.1 %

Shell
5.1 %

C++
5.1 %

Jupyter Notebook
2.6 %

HTML
2.6 %

VeriSmart-public

a safety verifier for Solidity smart contracts

VeriSmart-benchmarks

AlphaRegexPublic

ParaDySE

adapt

ADAPT is the open source white-box testing framework for deep neural networks

Jupyter Notebook

npex

SeamFuzz-Artifact

SeamFuzz Artifact repository for ICSE 2023

MicSE

The Michelson Symbolic vErifier

PyTER

SmartFix-Artifact

Graphick

HOMI_public

LearnML

A framework for generating personalized feedbacks on functional programming assignments

FixML

Diver-Artifact

Chameleon

synthrl

SynthRL [ˈsɪnθrɪl]

SimplPublic

pyter_tool

starlab-benchmarks

Repository for Software STARLAB benchmarks

Diver

PL4XGL

ConTest

SAVER_public

dd-klee

Data-driven symbolic execution engine, implemented on top of KLEE

Compilers2020

AAA528

AAA528 Computational Logic

OBJ2CFA

TestML

qsyn

Artifact for paper Modular Component-based Quantum Circuit Synthesis

AAA616-2022Fall

Data-Driven-Pointsto-Analysis

Data-Driven Context-Sensitivity for Points-to Analysis

Compiler2017

erc-group2-framework

kaprese-engines

SeamFuzz-public

Public repository for SeamFuzz

CutFuzz

kupl.github.io

PL2016-HW5

apps-sal

Programming Competition Style Python Codes Datasets

NPEX_Artifacts