kupl/SimplPublic

Stars
5
Rank 2,861,937 (Top 57 %)
Language
OCaml
License
MIT License
Created over 7 years ago
Updated almost 7 years ago

kupl/SimplPublic

kupl

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

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]

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