Aarhus University

Repositories

• NoRegrets

  Breaking change detector for npm
  JavaScript 2 13 0 14 Updated Jun 28, 2021

• MoTyR
  JavaScript 0 0 0 14 Updated Jun 28, 2021

• ReaGenT
  JavaScript 1 2 0 15 Updated May 27, 2021

• jalangi2

  Forked from esbena/jalangi2

  Dynamic analysis framework for JavaScript
  JavaScript Apache-2.0 102 1 3 0 Updated May 12, 2021

• taser
  TypeScript 5 5 0 2 Updated May 9, 2021

• TIP

  Static program analysis for TIP

  static-code-analysis static-analyzer program-analysis pointer-analysis points-to-analysis
  Scala 79 151 3 1 Updated Apr 10, 2021

• jalangilogger
  Java 2 2 6 0 Updated Mar 15, 2021

• streamliner
  Java 0 2 0 0 Updated Nov 16, 2020

• TAJS

  Type Analyzer for JavaScript

  javascript static-code-analysis static-analyzer program-analysis type-checking
  Java Apache-2.0 31 154 6 1 Updated Jul 18, 2020

• TAJS-Inspector
  TypeScript Apache-2.0 2 0 8 0 Updated Apr 10, 2020

• dk.brics.automaton

  dk.brics.automaton - finite-state automata and regular expressions for Java
  Java 57 140 3 5 Updated Mar 26, 2020

• MONA

  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  C GPL-2.0 10 24 1 0 Updated Mar 3, 2020

• ts-spec-reader
  Java 0 1 0 0 Updated Jul 19, 2019

• tajs_vr_experiments
  JavaScript 0 0 0 0 Updated Jul 8, 2019

• tajs_vr
  Java Apache-2.0 0 0 0 0 Updated Jul 8, 2019

• ajaxracer

  Practical AJAX Race Detection for JavaScript Web Applications
  JavaScript Apache-2.0 1 3 0 0 Updated Sep 23, 2018

• Artemis

  automated testing for JavaScript
  C++ GPL-3.0 9 35 34 0 Updated Feb 1, 2018

• thor
  Java 2 11 0 0 Updated May 17, 2017

• initracer

  Practical Initialization Race Detection for JavaScript Web Applications

  javascript race-detection
  JavaScript 0 1 0 0 Updated Apr 10, 2017

• EventRaceCommander

  Repairing Event Race Errors by Controlling Nondeterminism
  JavaScript 0 0 0 0 Updated Feb 20, 2017

• JWIG

  JWIG - a Java-based web application framework using XACT for type-safe XML/XHTML transformations
  Java 1 4 0 0 Updated Jan 27, 2017

• protocolfiller
  Java 0 0 0 0 Updated Jul 7, 2016

• JSRefactor

  refactoring for JavaScript
  Java 3 5 0 1 Updated Sep 29, 2015

• XSLV

  static validation of XSL Transformations
  XSLT 2 0 0 0 Updated Aug 19, 2013