Aarhus University

Repositories

• NoRegrets

  Breaking change detector for npm
  JavaScript 1 11 0 8 Updated Aug 7, 2020

• MoTyR
  JavaScript 0 0 0 8 Updated Aug 7, 2020

• ReaGenT
  JavaScript 1 2 0 8 Updated Jul 30, 2020

• taser
  TypeScript 0 1 0 2 Updated Jul 19, 2020

• TAJS

  Type Analyzer for JavaScript

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

• TIP

  Static program analysis for TIP

  static-code-analysis static-analyzer program-analysis pointer-analysis points-to-analysis
  Scala 52 116 3 3 Updated May 22, 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 53 126 2 5 Updated Mar 26, 2020

• MONA

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

• jalangi2

  Forked from esbena/jalangi2

  Dynamic analysis framework for JavaScript
  JavaScript Apache-2.0 98 0 3 0 Updated Jan 27, 2020

• jalangilogger
  Java 2 1 6 0 Updated Dec 22, 2019

• 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 0 1 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 10 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