lu-cs-sde/IntraJ lu-cs-sde/IntraJ

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Java
  • License
    BSD 3-Clause "New...
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lu-cs-sde/IntraJ
github

lu-cs-sde

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

IntraJ repository

More Repositories

1

codeprober

Tool implementing Property Probes
JavaScript
16
star
2

metadl

MetaDL: Datalog analyzing Datalog, Java or any language of your choice
Java
16
star
3

EzSkiROS

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. before running the robot.
2
star
4

JFeature

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

metadl-jastadd

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

IntraJSCAM2021

IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
HTML
1
star
7

sppf-earley-parser

Java
1
star