Aarhus University

Popular repositories Loading

jelly jelly Public

JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

TypeScript 309 20
TIP TIP Public

Static program analysis for TIP

Scala 275 123
dk.brics.automaton dk.brics.automaton Public

dk.brics.automaton - finite-state automata and regular expressions for Java

Java 206 75
TAJS TAJS Public

Type Analyzer for JavaScript

Java 191 39
MONA MONA Public

MONA - a decision procedure for monadic second-order logic on finite strings and trees

C 46 13
Artemis Artemis Public

automated testing for JavaScript

C++ 36 10

Repositories

jelly Public
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

cs-au-dk/jelly’s past year of commit activity

TypeScript 309 MIT 20 2 1 Updated Jun 10, 2024
dk.brics.automaton Public
dk.brics.automaton - finite-state automata and regular expressions for Java

cs-au-dk/dk.brics.automaton’s past year of commit activity

Java 206 75 10 6 Updated Sep 20, 2023
CSrankings Public Forked from emeryberger/CSrankings
A 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.

cs-au-dk/CSrankings’s past year of commit activity

Python 0 3,017 0 0 Updated Aug 9, 2023
ICSE-2021-Paper-105 Public

cs-au-dk/ICSE-2021-Paper-105’s past year of commit activity

TypeScript 0 0 0 3 Updated May 1, 2023
goat Public

cs-au-dk/goat’s past year of commit activity

Go 17 Apache-2.0 2 1 0 Updated Mar 20, 2023
TIP Public
Static program analysis for TIP

cs-au-dk/TIP’s past year of commit activity

Scala 275 123 3 3 Updated Dec 25, 2022
NoRegrets Public
Breaking change detector for npm

cs-au-dk/NoRegrets’s past year of commit activity

JavaScript 19 4 0 27 Updated Dec 10, 2022
MoTyR Public

cs-au-dk/MoTyR’s past year of commit activity

JavaScript 0 0 0 27 Updated Dec 10, 2022
ReaGenT Public

cs-au-dk/ReaGenT’s past year of commit activity

JavaScript 3 1 0 20 Updated Oct 5, 2022
jsfix-package-inspector Public
Inspecting npm packages made easy

cs-au-dk/jsfix-package-inspector’s past year of commit activity

JavaScript 2 0 0 0 Updated Sep 24, 2022