-
-
coqpyt Public
Forked from sr-lab/coqpytPython client for coq-lsp
Python MIT License UpdatedMay 4, 2025 -
clone-finder Public
Automatic Goal Clone Detection in Rocq
Python Apache License 2.0 UpdatedApr 25, 2025 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedMar 12, 2025 -
coq-dpdgraph Public
Forked from rocq-community/coq-dpdgraphBuild dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Coq GNU Lesser General Public License v2.1 UpdatedNov 13, 2024 -
objsim Public
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
-
incite-issta24 Public
Incite: Decomposition of Deep Neural Networks into Modules via Mutation Analysis
-
deepmufl-ase-2023 Public
Mutation-based Fault Localization of Deep Neural Networks
-
object-utils Public
A library for serializing/deserializing, hashing, and comparing arbitrary objects
-
software_foundations Public
Forked from marshall-lee/software_foundationsMy solutions to Software Foundations course in Coq proof assistant.
Coq MIT License UpdatedJun 30, 2023 -
CoqGym Public
Forked from princeton-vl/CoqGymA Learning Environment for Theorem Proving with the Coq proof assistant
Coq GNU Lesser General Public License v2.1 UpdatedJun 30, 2023 -
decomposeDNNintoModules Public
Forked from rangeetpan/decomposeDNNintoModulesThis repository has the source code for the ESEC/FSE 2020 paper "On Decomposing a Deep Neural Network into Modules"
Python MIT License UpdatedMay 22, 2023 -
fix-to-elim Public
Forked from uwplse/fix-to-elimFixpoint to eliminator translation in Coq
Coq MIT License UpdatedNov 3, 2022 -
coq-plugin-lib Public
Forked from uwplse/coq-plugin-libLibrary of useful utility functions for Coq plugins
OCaml MIT License UpdatedNov 3, 2022 -
QuixBugs Public
Forked from jkoppel/QuixBugsA multi-lingual program repair benchmark set based on the Quixey Challenge
Java MIT License UpdatedAug 29, 2022 -
pitest Public
Forked from hcoles/pitestState of the art mutation testing system for the JVM
Java Apache License 2.0 UpdatedJul 6, 2022 -
shibboleth-demo Public
Shibboleth: Hybrid Patch Correctness Assessmentin Automated Program Repair
Java Apache License 2.0 UpdatedJun 5, 2022 -
shibboleth Public
Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Codes
-
memu-demo Public
Faster Mutation Analysis with MeMu
-
-
ODSExperiment Public
Forked from ASSERT-KTH/ODSExperimentAutomated Classification of Overfitting Patches with Statically Extracted Code Features
UpdatedJan 2, 2022 -
commons-lang Public
Forked from apache/commons-langMirror of Apache Commons Lang
Java Apache License 2.0 UpdatedSep 26, 2021 -
PUMPKIN-PATCH Public
Forked from uwplse/PUMPKIN-PATCHProof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
OCaml MIT License UpdatedSep 2, 2021 -
commons-text Public
Forked from apache/commons-textMirror of Apache Commons Text
Java Apache License 2.0 UpdatedAug 5, 2021 -
prf Public
A Framework for Building Automatic Program Repair Prototypes for JVM-based Languages
-
-
-
cha-maven-plugin Public
A Maven Plugin for CHA (Class Hierarchy Analysis)
-
-
memu Public
Toward Speeding up Mutation Analysis by Memoizing Expensive Methods
HTML Apache License 2.0 UpdatedJan 27, 2021
{{ message }}