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 354 27

  2. TIP TIP Public

    Static program analysis for TIP

    Scala 285 127

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

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

    Java 216 78

  4. TAJS TAJS Public archive

    Type Analyzer for JavaScript

    Java 194 40

  5. MONA MONA Public

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

    C 48 13

  6. Artemis Artemis Public

    automated testing for JavaScript

    C++ 36 10

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 354 MIT 27 3 1 Updated Feb 21, 2025
  • TAJS Public archive

    Type Analyzer for JavaScript

    cs-au-dk/TAJS’s past year of commit activity
    Java 194 Apache-2.0 40 7 1 Updated Feb 11, 2025
  • 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,399 0 0 Updated Jan 16, 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 216 78 10 6 Updated Jul 29, 2024
  • 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 21 Apache-2.0 3 1 0 Updated Mar 20, 2023
  • TIP Public

    Static program analysis for TIP

    cs-au-dk/TIP’s past year of commit activity
    Scala 285 127 3 2 Updated Dec 25, 2022
  • NoRegrets Public

    Breaking change detector for npm

    cs-au-dk/NoRegrets’s past year of commit activity
    JavaScript 20 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…