Laschoking
Follow
Stars
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"
Experimental scripts and data about the search space of program repair
Data repository for pretrained NLP models and NLP corpora.
Benchmark Suite for Interpretable Rule Learning
The official repo of Doop, the declarative pointer analysis framework.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
GoCD plugin to publish build notifications via websockets to any listener
LogMap: An Ontology Alignment and Alignment Repair System
🔢 Simple calculator is written in Java with Eclipse. This calculator is simple with an easy code to help novices learn how to operate a calculator.
A robust fish detection model for real-time underwater fish detection in any marine environments.
BigCloneEval - A Clone Detection Tool Evaluation Framework for BigCloneBench