Repositories list

• codeprober

  Public
  Tool implementing Property Probes

  TypeScript

  •

  BSD 3-Clause "New" or "Revised" License

  •55 forks•2323 stars•44 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• IntraJ

  Public
  IntraJ repository

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •33 forks•77 stars•11 issue•22 pull requests•Updated Apr 3, 2026Apr 3, 2026

• jastadd-mode

  Public
  Emacs major mode for JastAdd jrag/jadd files

  Emacs Lisp

  •

  GNU General Public License v3.0

  •11 fork•11 star•22 issues•00 pull requests•Updated Mar 9, 2026Mar 9, 2026

• intraj-evaluation

  Public
  Containerfile definition for evaluating intraj

  GNU Affero General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 19, 2025Dec 19, 2025

• metadl

  Public
  MetaDL: Datalog analyzing Datalog, Java or any language of your choice

  javastatic-code-analysispattern-matching+ 2

  javastatic-code-analysispattern-matchingdatalogprogram-analysis

  Java

  •

  BSD 2-Clause "Simplified" License

  •22 forks•1616 stars•1414 issues•00 pull requests•Updated Jun 27, 2025Jun 27, 2025

• metadl-eval

  Public
  Jupyter Notebook

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 27, 2025Jun 27, 2025

• tragdor

  Public
  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 24, 2025Apr 24, 2025

• IntraCFG

  Public
  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 28, 2024Nov 28, 2024

• clog

  Public
  A declarative language for C static code checkers

  cpattern-matchingdatalog+ 1

  cpattern-matchingdatalogprogram-analysis

  C

  •

  BSD 2-Clause "Simplified" License

  •22 forks•22 stars•00 issues•11 pull request•Updated Nov 3, 2024Nov 3, 2024

• metadl-jastaddparser

  Public
  A clone of the JastAddParser project (https://bitbucket.org/jastadd/jastaddparser) with MetaDL-specific changes.

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 18, 2023Aug 18, 2023

• EzSkiROS

  Public
  EzSkiROS: An embedded Domain Specific Language (DSL) to describe robotic skills in SkiROS. EzSkiROS allows reobot developers to catch bugs at launch time, i.e. …

  dslrosreplication-package+ 1

  dslrosreplication-packageskiros2

  00 forks•33 stars•00 issues•00 pull requests•Updated Jun 18, 2023Jun 18, 2023

• sppf-earley-parser

  Public
  An Earley parser for ambiguous grammars which produces a compact result.

  Java

  •

  BSD 2-Clause "Simplified" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 18, 2023Apr 18, 2023

• IntraJSCAM2021

  Public
  IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021

  javastatic-analysisdeclarative+ 11

  javastatic-analysisdeclarativecontrol-flow-graphieeecfgjastadddataflow-analysislivenesslund-university+ 4

  HTML

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 6, 2023Feb 6, 2023

• JFeature

  Public
  JFeature is a static analysis tool designed to help researchers extract information on Java features usage in their projects.

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Sep 6, 2022Sep 6, 2022

• metadl-extendj

  Public
  A clone of the ExtendJ project (https://bitbucket.org/extendj/extendj) with changes required by MetaDL.

  TeX

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 30, 2022May 30, 2022

• mystery2020

  Public
  The "Mystery" teaching language with variable semantics, for Programming Languages courses

  Java

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 10, 2021Nov 10, 2021

• metadl-jastadd

  Public
  A clone of the JastAdd2 project (https://bitbucket.org/jastadd/jastadd2/) with MetaDL specific changes.

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 8, 2021Sep 8, 2021