Aarhus University (@cs-au-dk)
Guthub

cs-au-dk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,180
  • Global Org. Rank 13,759 (Top 5 %)
  • Registered over 12 years ago
  • Most used languages
    Java
         36.0 %
    JavaScript
         28.0 %
    TypeScript
         16.0 %
    Go
         4.0 %
    C++
         4.0 %
    C
         4.0 %
    XSLT     4.0 %
    Scala
         4.0 %

Top repositories

1

jelly

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

TIP

Static program analysis for TIP
Scala
280
star
3

dk.brics.automaton

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

TAJS

Type Analyzer for JavaScript
Java
192
star
5

MONA

MONA - a decision procedure for monadic second-order logic on finite strings and trees
C
46
star
6

Artemis

automated testing for JavaScript
C++
36
star
7

NoRegrets

Breaking change detector for npm
JavaScript
20
star
8

goat

Go
19
star
9

thor

Java
13
star
10

taser

TypeScript
12
star
11

streamliner

Java
6
star
12

JSRefactor

refactoring for JavaScript
Java
6
star
13

JWIG

JWIG - a Java-based web application framework using XACT for type-safe XML/XHTML transformations
Java
5
star
14

ajaxracer

Practical AJAX Race Detection for JavaScript Web Applications
JavaScript
4
star
15

ReaGenT

JavaScript
3
star
16

jsfix-package-inspector

Inspecting npm packages made easy
JavaScript
2
star
17

ISSTA-2021-Paper-156

TypeScript
2
star
18

jalangilogger

Java
2
star
19

XSLV

static validation of XSL Transformations
XSLT
2
star
20

initracer

Practical Initialization Race Detection for JavaScript Web Applications
JavaScript
2
star
21

jsfix-dependency-scanner

JSFIX dependency scanner
JavaScript
1
star
22

tajs_vr_experiments

JavaScript
1
star
23

ts-spec-reader

Java
1
star
24

tajs_vr

Java
1
star
25

TAJS-Inspector

TypeScript
1
star