Aarhus University

Pinned Repositories

Artemis
automated testing for JavaScript
Language:C++36 16 13210
dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
Language:Java211 24 3377
goat
Language:Go20 4 23
jelly
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
Language:TypeScript319 7 923
MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
Language:C47 6 513
NoRegrets
Breaking change detector for npm
Language:JavaScript20 4 04
TAJS
Type Analyzer for JavaScript
Language:Java193 17 1940
taser
Language:TypeScript12 5 16
thor
Language:Java14 6 22
TIP
Static program analysis for TIP
Language:Scala281 24 13125

Aarhus University's Repositories

cs-au-dk/jelly
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
Language:TypeScript319 7 923
cs-au-dk/TIP
Static program analysis for TIP
Language:Scala281 24 13125
cs-au-dk/dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
Language:Java211 24 3377
cs-au-dk/TAJS
Type Analyzer for JavaScript
Language:Java193 17 1940
cs-au-dk/MONA
MONA - a decision procedure for monadic second-order logic on finite strings and trees
Language:C47 6 513
cs-au-dk/Artemis
automated testing for JavaScript
Language:C++36 16 13210
cs-au-dk/goat
Language:Go20 4 23
cs-au-dk/NoRegrets
Breaking change detector for npm
Language:JavaScript20 4 04
cs-au-dk/thor
Language:Java14 6 22
cs-au-dk/taser
Language:TypeScript12 5 16
cs-au-dk/streamliner
Language:Java6 5 11
cs-au-dk/JWIG
JWIG - a Java-based web application framework using XACT for type-safe XML/XHTML transformations
Language:Java5 3 01
cs-au-dk/ajaxracer
Practical AJAX Race Detection for JavaScript Web Applications
Language:JavaScript4 6 01
cs-au-dk/ReaGenT
Language:JavaScript3 11 01
cs-au-dk/initracer
Practical Initialization Race Detection for JavaScript Web Applications
Language:JavaScript2 5 0
cs-au-dk/ISSTA-2021-Paper-156
Language:TypeScript2 6 01
cs-au-dk/jalangilogger
Language:Java2 13 84
cs-au-dk/jsfix-package-inspector
Inspecting npm packages made easy
Language:JavaScript2 3 0
cs-au-dk/jalangi2
Dynamic analysis framework for JavaScript
Language:JavaScript1 14 31
cs-au-dk/jsfix-dependency-scanner
JSFIX dependency scanner
Language:JavaScript1 4 0
cs-au-dk/TAJS-Inspector
Language:TypeScript1 13 94
cs-au-dk/tajs_vr
Language:Java1 4 01
cs-au-dk/tajs_vr_experiments
Language:JavaScript1 5 01
cs-au-dk/ts-spec-reader
Language:Java1 14 02
cs-au-dk/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.
Language:Python2 0
cs-au-dk/EventRaceCommander
Repairing Event Race Errors by Controlling Nondeterminism
Language:JavaScript4 0
cs-au-dk/ICSE-2021-Paper-105
Language:TypeScript5 0
cs-au-dk/jsfix-blog
4 0
cs-au-dk/MoTyR
Language:JavaScript4 0
cs-au-dk/protocolfiller
Language:Java4 0