This folder container replication materials for the paper accepted
☆12Sep 27, 2021Updated 4 years ago
Alternatives and similar repositories for Mono2Micro-FSE-2021
Users that are interested in Mono2Micro-FSE-2021 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Dec 1, 2025Updated 4 months ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- A pytorch implementation of Graph Neural Networks-Based User Pairing in Wireless Communication Systems☆12Sep 16, 2024Updated last year
- pytest-inline is a pytest plugin for writing inline tests.☆19Dec 11, 2025Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆17Oct 9, 2023Updated 2 years ago
- Meta-repository for SnipPy☆17Nov 29, 2021Updated 4 years ago
- ☆12Dec 30, 2023Updated 2 years ago
- Implementation of PEFT (Predict Earliest Finish Time) DAG Scheduling Algorithm in Python☆13Updated this week
- Distributed deep learning cluster simulation environment and RL-GNN resource management implementations.☆14Feb 1, 2023Updated 3 years ago
- Replication package for ESEC/FSE-2019 submission titled Diversity Web Test Generation☆14Feb 13, 2025Updated last year
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Tests that check correctness of a single statement☆14Nov 25, 2024Updated last year
- Event Platform☆14Oct 11, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 9 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Coins for Android☆30Apr 20, 2017Updated 8 years ago
- Framework for testing the reachability of native functions in Android applications.☆11Aug 30, 2023Updated 2 years ago
- Mutation Test Tool for Solidity☆16Jun 17, 2022Updated 3 years ago
- ☆17Sep 18, 2023Updated 2 years ago
- ☆10Mar 16, 2023Updated 3 years ago
- ☆66Feb 9, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Getting started with Decisions-Disruptions☆11Jan 28, 2020Updated 6 years ago
- The paper and implementation code of Locally Weighted Ensemble Clustering , IEEE TRANSACTIONS ON CYBERNETICS, VOL. 48, NO. 5, MAY 2018☆15Nov 4, 2019Updated 6 years ago
- Multi-view clustering with flexible ensemble structures.☆25Jan 29, 2025Updated last year
- A symbolic execution engine for Python☆44Dec 4, 2012Updated 13 years ago
- Outlier Aware Network Embedding for Attributed Networks☆19Feb 2, 2020Updated 6 years ago
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- Hybrid of Particle Swarm Optimization and Genetic Algorithm-based Heuristic for Scheduling Workflow Applications in Cloud Computing Enviro…☆19Oct 23, 2018Updated 7 years ago
- Let's write a Debugger!☆30Mar 10, 2018Updated 8 years ago
- A Python package for cluster ensembles☆23May 6, 2024Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Collection of workflow execution instances for the Pegasus workflow management system.☆21Jun 23, 2024Updated last year
- ☆12May 31, 2016Updated 9 years ago
- A Structured Way to Service Decomposition☆84Jan 29, 2024Updated 2 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- No description yet☆11May 26, 2023Updated 2 years ago
- ☆11Apr 23, 2018Updated 7 years ago
- Bash function library☆22Aug 27, 2024Updated last year