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 325 25

  2. TIP TIP Public

    Static program analysis for TIP

    Scala 282 125

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

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

    Java 211 77

  4. TAJS TAJS Public

    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 47 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 325 MIT 25 2 1 Updated Sep 17, 2024
  • 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 211 77 10 6 Updated Jul 29, 2024
  • 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,242 0 0 Updated Aug 9, 2023
  • 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 20 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 282 125 3 3 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
  • jsfix-package-inspector Public

    Inspecting npm packages made easy

    cs-au-dk/jsfix-package-inspector’s past year of commit activity
    JavaScript 2 0 0 0 Updated Sep 24, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…