Repositories list

• metaborg-coq

  Public
  Coq editors

  Coq

  •0•0•0•0•Updated Jul 30, 2024Jul 30, 2024

• metaborg-calc

  Public
  a minimal Spoofax example project

  Java

  •3•2•0•1•Updated Jul 11, 2024Jul 11, 2024

• metaborg-entity

  Public
  simple Entity language

  Java

  •0•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• metaborg-tiger

  Public
  Java

  •10•1•0•7•Updated Jul 11, 2024Jul 11, 2024

• metaborg-entity-scala

  Public
  Tiny example language that uses Scala in its implementation

  Scala

  •0•1•0•0•Updated Jul 11, 2024Jul 11, 2024

• metaborg-pascal

  Public
  Pascal

  •

  Apache License 2.0

  •2•3•0•0•Updated Jul 11, 2024Jul 11, 2024

• metaborg-grace

  Public
  Grace

  •2•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• IceDust-EclipseGen

  Public
  repository to host Jenkinsfile

  1•0•0•0•Updated Jul 11, 2024Jul 11, 2024

• IceDust

  Public
  A language for data modeling and incremental computing of derived values

  JavaScript

  •6•11•0•0•Updated May 7, 2024May 7, 2024

• spoofax2-lang-example

  Public
  Java

  •1•0•0•0•Updated Apr 18, 2024Apr 18, 2024

• metaborg-access-modifiers

  Public
  Language to Experiment with Access Modifiers in OO languages

  Java

  •0•0•0•0•Updated Apr 17, 2024Apr 17, 2024

• stratego-sep-comp-benchmark

  Public archive
  Benchmarks for the Stratego separate compiler

  Java

  •0•0•0•1•Updated Sep 18, 2023Sep 18, 2023

• mophasco-artifact

  Public
  Haskell

  •

  MIT License

  •0•1•0•0•Updated Sep 12, 2023Sep 12, 2023

• brp-agda-refactoring-mjozwik

  Public
  Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

  agdatudelft-cse-research-project

  Agda

  •

  MIT License

  •0•1•0•0•Updated Jun 27, 2023Jun 27, 2023

• brp-agda-refactoring-khstruik

  Public
  Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

  tudelft-cse-research-project

  MIT License

  •0•0•0•0•Updated Jun 27, 2023Jun 27, 2023

• brp-agda-refactoring-timenzandberge

  Public
  Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

  tudelft-cse-research-project

  Agda

  •0•0•0•0•Updated Jun 27, 2023Jun 27, 2023

• brp-agda-refactoring-jpadillacancio

  Public
  Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

  Agda

  •

  MIT License

  •0•1•0•0•Updated Jun 26, 2023Jun 26, 2023

• brp-agda-refactoring-jbastenhof

  Public
  Correct-by-construction refactoring of functional code Provided by Programming Languages for the Research Project 2022/2023 Q4 course.

  agdatudelft-cse-research-project

  Agda

  •

  Apache License 2.0

  •1•0•0•0•Updated Jun 25, 2023Jun 25, 2023

• metaborg-sl

  Public
  Metaborg specification of SimpleLanguage

  Java

  •3•0•0•0•Updated Jun 20, 2023Jun 20, 2023

• scope-graph-scheduling-bsc-template

  Public
  Haskell

  •6•0•0•0•Updated Jun 12, 2023Jun 12, 2023

• metaborg-seclang

  Public
  Prototype of a language with static security checking features

  Apache License 2.0

  •0•0•0•0•Updated Jun 1, 2023Jun 1, 2023

• metaborg-mini-csharp

  Public
  Mini C#

  Java

  •

  Apache License 2.0

  •2•1•1•0•Updated Mar 25, 2023Mar 25, 2023

• metaborg-poosl

  Public
  Experimental Spoofax implementation for POOSL

  Java

  •1•0•0•0•Updated Mar 15, 2023Mar 15, 2023

• gazebo

  Public
  Gazebo: A Domain-Specific Language for Minecraft

  minecraftdslgazebo+ 1spoofax

  Kotlin

  •

  MIT License

  •0•0•0•0•Updated Dec 7, 2022Dec 7, 2022

• micro-java-instances

  Public
  A micro subset of Java that supports only integers, classes, instance fields and methods, member references, and method calls.

  Java

  •0•0•0•0•Updated Aug 30, 2022Aug 30, 2022

• TIL

  Public
  Tiny Imperative Language - https://www.program-transformation.org/Sts/TinyImperativeLanguage.html

  Shell

  •0•0•0•0•Updated Aug 5, 2022Aug 5, 2022

• function-inlining

  Public
  C++

  •0•0•0•0•Updated Jun 9, 2022Jun 9, 2022

• pcf-tutorial

  Public
  Spoofax tutorial implementing Programming Computable Functions

  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Jun 1, 2022Jun 1, 2022

• metaborg-minizinc

  Public
  A Spoofax language definition of the MiniZinc constraint modeling language

  0•0•0•0•Updated Apr 28, 2022Apr 28, 2022

• statix-sandbox

  Public
  Experiments with the Statix meta-language

  AMPL

  •5•6•0•1•Updated May 26, 2021May 26, 2021