NoItAll

@viadee Münster

Pinned Repositories

coastal
Concolic analysis tool for Java
Language:Java0 0 00
CodeT
Language:Python0 0 00
graal
GraalVM: Run Programs Faster Anywhere :rocket:
Language:Java0 0 00
java-ranger
Java Ranger is a path-merging extension of Symbolic PathFinder
Language:Java0 0 00
methods2test
methods2test is a supervised dataset consisting of Test Cases and their corresponding Focal Methods from a set of Java software repositories
Language:Python0 0 00
mulib
Language:Java1 3 00
NaLLM
Repository for the NaLLM project
Language:TypeScript0 0 00
SAC2021_jason
Language:Java0 1 00
magie
Interpret all the models - a genetic optimization approach to model agnostic black box explanations based on MAGIX.
Language:Java6 9 61
muli
:horse: Project collection for Muli. Features a custom compiler and a symbolic Java virtual machine that support constraint-logic object-oriented programming.
Language:Makefile5 9 03

NoItAll's Repositories

NoItAll/mulib
Language:Java1 3 00
NoItAll/coastal
Concolic analysis tool for Java
Language:Java0 0 00
NoItAll/CodeT
Language:Python0 0 00
NoItAll/graal
GraalVM: Run Programs Faster Anywhere :rocket:
Language:Java0 0 00
NoItAll/java-ranger
Java Ranger is a path-merging extension of Symbolic PathFinder
Language:Java0 0 00
NoItAll/methods2test
methods2test is a supervised dataset consisting of Test Cases and their corresponding Focal Methods from a set of Java software repositories
Language:Python0 0 00
NoItAll/NaLLM
Repository for the NaLLM project
Language:TypeScript0 0 00
NoItAll/SAC2021_jason
Language:Java0 1 00
NoItAll/simplelanguage
A simple example language built using the Truffle API.
Language:Java0 0 00
NoItAll/ScreenAI
Implementation of the ScreenAI model from the paper: "A Vision-Language Model for UI and Infographics Understanding"
NoItAll/soot
Soot - A Java optimization framework
Language:Java0 0