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 448 48

  2. TIP TIP Public

    Static program analysis for TIP

    Scala 323 155

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

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

    Java 248 97

  4. TAJS TAJS Public archive

    Type Analyzer for JavaScript

    Java 199 39

  5. MONA MONA Public

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

    C 60 15

  6. Artemis Artemis Public

    automated testing for JavaScript

    C++ 37 9

Repositories

Showing 10 of 32 repositories
  • 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 248 97 5 6 Updated Oct 24, 2026
  • 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 448 BSD-3-Clause 48 3 1 Updated Aug 12, 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,898 0 0 Updated Oct 22, 2025
  • TIP Public

    Static program analysis for TIP

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

    Type Analyzer for JavaScript

    cs-au-dk/TAJS's past year of commit activity
    Java 199 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