Skip to content
@cs-au-dk

Aarhus University

Popular repositories Loading

  1. jelly jelly Public

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

    TypeScript 425 37

  2. TIP TIP Public

    Static program analysis for TIP

    Scala 315 145

  3. dk.brics.automaton dk.brics.automaton Public

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

    Java 239 94

  4. TAJS TAJS Public archive

    Type Analyzer for JavaScript

    Java 198 39

  5. MONA MONA Public

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

    C 57 15

  6. Artemis Artemis Public

    automated testing for JavaScript

    C++ 36 9

Repositories

Showing 10 of 32 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 425 BSD-3-Clause 37 3 1 Updated Feb 20, 2026
  • 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,922 0 0 Updated Oct 22, 2025
  • 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 239 94 10 7 Updated Sep 14, 2025
  • TIP Public

    Static program analysis for TIP

    cs-au-dk/TIP’s past year of commit activity
    Scala 315 145 3 1 Updated May 5, 2025
  • TAJS Public archive

    Type Analyzer for JavaScript

    cs-au-dk/TAJS’s past year of commit activity
    Java 198 Apache-2.0 39 7 1 Updated Feb 11, 2025
  • 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 22 Apache-2.0 3 1 0 Updated Mar 20, 2023
  • NoRegrets Public

    Breaking change detector for npm

    cs-au-dk/NoRegrets’s past year of commit activity
    JavaScript 22 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
View all repositories

Top languages

Loading…

Most used topics

Loading…