Skip to content
@lu-cs-sde

Software Development and Environments Research Group @ Lund University

Pinned Loading

  1. metadl metadl Public

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

    Java 16 2

  2. IntraCFG IntraCFG Public

  3. IntraJ IntraJ Public

    IntraJ repository

    Python 8 1

  4. mystery2020 mystery2020 Public

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

    Java

Repositories

Showing 10 of 14 repositories
  • metadl Public

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

    lu-cs-sde/metadl’s past year of commit activity
    Java 16 BSD-2-Clause 2 14 0 Updated Jan 14, 2025
  • IntraJ Public

    IntraJ repository

    lu-cs-sde/IntraJ’s past year of commit activity
    Python 8 BSD-3-Clause 1 2 0 Updated Nov 28, 2024
  • IntraCFG Public
    lu-cs-sde/IntraCFG’s past year of commit activity
    0 BSD-3-Clause 0 0 0 Updated Nov 28, 2024
  • codeprober Public

    Tool implementing Property Probes

    lu-cs-sde/codeprober’s past year of commit activity
    JavaScript 16 BSD-3-Clause 4 2 0 Updated Nov 18, 2024
  • clog Public Forked from lu-cs-sde/metadl

    A declarative language for C static code checkers

    lu-cs-sde/clog’s past year of commit activity
    C 1 BSD-2-Clause 2 0 1 Updated Nov 3, 2024
  • jastadd-mode Public

    Emacs major mode for JastAdd jrag/jadd files

    lu-cs-sde/jastadd-mode’s past year of commit activity
    Emacs Lisp 0 GPL-3.0 0 0 0 Updated Oct 2, 2024
  • metadl-jastaddparser Public

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

    lu-cs-sde/metadl-jastaddparser’s past year of commit activity
    Java 0 BSD-3-Clause 0 0 0 Updated Aug 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. before running the robot.

    lu-cs-sde/EzSkiROS’s past year of commit activity
    2 0 0 0 Updated Jun 18, 2023
  • sppf-earley-parser Public
    lu-cs-sde/sppf-earley-parser’s past year of commit activity
    Java 1 BSD-2-Clause 0 0 0 Updated Apr 18, 2023
  • IntraJSCAM2021 Public

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

    lu-cs-sde/IntraJSCAM2021’s past year of commit activity
    HTML 1 BSD-3-Clause 0 0 0 Updated Feb 6, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…