Skip to content

@lu-cs-sde Software Development and Environments Research Group @ Lund University

Change the repository type filter

All

    Repositories list

    14 repositories

    • codeprober

      Public
      Tool implementing Property Probes
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •4•16•3•0•Updated Oct 18, 2024Oct 18, 2024

    • jastadd-mode

      Public
      Emacs major mode for JastAdd jrag/jadd files
      Emacs Lisp
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Oct 2, 2024Oct 2, 2024

    • clog

      Public
      A declarative language for C static code checkers
      pattern-matchingdatalogprogram-analysis
      C
      •
      BSD 2-Clause "Simplified" License
      •2•1•0•0•Updated Apr 2, 2024Apr 2, 2024

    • metadl

      Public
      MetaDL: Datalog analyzing Datalog, Java or any language of your choice
      Java
      •
      BSD 2-Clause "Simplified" License
      •2•16•14•0•Updated Feb 8, 2024Feb 8, 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
      •0•0•0•0•Updated Aug 18, 2023Aug 18, 2023

    • IntraJ

      Public
      IntraJ repository
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •1•6•2•0•Updated Jul 5, 2023Jul 5, 2023

    • IntraCFG

      Public
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jul 4, 2023Jul 4, 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. before running the robot.
      dslrosreplication-packageskiros2
      0•2•0•0•Updated Jun 18, 2023Jun 18, 2023

    • sppf-earley-parser

      Public
      Java
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Apr 18, 2023Apr 18, 2023

    • IntraJSCAM2021

      Public
      IntraJ is an application of the framework IntraCFG for the Java language. IEEESCAM2021
      javastatic-analysisdeclarativecontrol-flow-graphieeecfgjastadddataflow-analysislivenesslund-university
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•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
      •0•2•0•0•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
      •0•0•0•0•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
      •0•0•0•0•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
      •0•1•0•0•Updated Sep 8, 2021Sep 8, 2021