Skip to content

@cwi-swat CWI - Software Analysis and Transformation

Change the repository type filter

All

    Repositories list

    189 repositories

    • sle-master-course

      Public
      Master Course Software Language Engineering
      Rascal
      •5•0•0•0•Updated Dec 6, 2024Dec 6, 2024

    • langdev

      Public
      Repo for the LangDev meetup
      HTML
      •4•5•0•0•Updated Nov 22, 2024Nov 22, 2024

    • php-analysis

      Public
      PHP language analyses in Rascal
      Rascal
      •
      BSD 2-Clause "Simplified" License
      •8•27•7•0•Updated Nov 7, 2024Nov 7, 2024

    • python-air

      Public
      Rascal
      •
      BSD 2-Clause "Simplified" License
      •1•1•5•0•Updated Nov 7, 2024Nov 7, 2024

    • drambiguity

      Public
      Rascal
      •
      BSD 2-Clause "Simplified" License
      •1•0•1•0•Updated Nov 7, 2024Nov 7, 2024

    • rascal-git

      Public
      Java
      •
      BSD 2-Clause "Simplified" License
      •3•0•0•1•Updated Nov 7, 2024Nov 7, 2024

    • testing-dsls-with-dsls

      Public
      Testing DSLs with DSLs
      Rascal
      •5•1•0•0•Updated Sep 24, 2024Sep 24, 2024

    • live-modeling

      Public
      Live Modeling Tools
      Rascal
      •
      Eclipse Public License 2.0
      •0•0•1•0•Updated Sep 19, 2024Sep 19, 2024

    • rebel2

      Public
      JavaScript
      •
      BSD 2-Clause "Simplified" License
      •0•6•3•0•Updated Sep 19, 2024Sep 19, 2024

    • ifip-wg216

      Public
      Webpage of IFIP TC2 Working group 2.16 on Language Design
      HTML
      •1•1•0•0•Updated Aug 14, 2024Aug 14, 2024

    • rascal-dsl-crashcourse

      Public
      Material for a Crash Course DSL implementation using Rascal
      Rascal
      •128•1•0•0•Updated May 17, 2024May 17, 2024

    • tla-ci

      Public
      TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/978-3-030-67220-1_4) Based on Crooks' Isolation (https://dl.acm.org/doi/10.1145/3087801.3087802).
      pluscaltlaplus
      TLA
      •
      BSD 2-Clause "Simplified" License
      •2•24•1•0•Updated Feb 26, 2024Feb 26, 2024

    • sle-rug

      Public
      SLE course at University of Groningen
      Rascal
      •128•9•0•1•Updated Jan 23, 2024Jan 23, 2024

    • yop-rascal-nl

      Public
      Make *y*our *o*wn *p*rogramming language with *rascal* (in Dutch)
      Rascal
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Oct 3, 2023Oct 3, 2023

    • oogll

      Public
      Simple implementation of GLL
      Java
      •
      BSD 2-Clause "Simplified" License
      •0•4•0•0•Updated Sep 18, 2023Sep 18, 2023

    • kogi

      Public
      JavaScript
      •0•5•5•0•Updated Jul 30, 2023Jul 30, 2023

    • js-air

      Public
      a library for javascript analysis in Rascal
      Rascal
      •
      BSD 2-Clause "Simplified" License
      •0•0•2•0•Updated Jul 4, 2023Jul 4, 2023

    • bacata

      Public
      Set of projects related to the Bacatá notebook infrastructure
      Jupyter Notebook
      •1•5•5•2•Updated Jun 14, 2023Jun 14, 2023

    • rascal-visual-studio

      Public
      A Microsoft Visual Studio extension (_not_ code) that bridges to Rascal for running code analyses and transformations
      C#
      •0•0•2•0•Updated Jun 5, 2023Jun 5, 2023

    • PHP-Parser

      Public
      A PHP parser written in PHP
      PHP
      •
      BSD 3-Clause "New" or "Revised" License
      •1.1k•4•0•0•Updated Apr 11, 2023Apr 11, 2023

    • code-as-data-demo

      Public
      Rascal
      •
      BSD 2-Clause "Simplified" License
      •1•0•0•0•Updated Dec 15, 2022Dec 15, 2022

    • clair-using-project

      Public template
      Example project that uses clair
      Rascal
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Nov 28, 2022Nov 28, 2022

    • rascal-iguana

      Public
      Experimental bridges from Iguana to Rascal
      Java
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Nov 27, 2022Nov 27, 2022

    • rascal-wax-on-wax-off

      Public
      Tutorial Rascal
      Rascal
      •32•1•0•0•Updated Nov 17, 2022Nov 17, 2022

    • rascal-cheat-sheet

      Public
      Rascal cheat sheet
      TeX
      •0•3•0•0•Updated Nov 17, 2022Nov 17, 2022

    • gradual-grammars

      Public
      Gradual Grammars
      Rascal
      •0•0•0•0•Updated Nov 14, 2022Nov 14, 2022

    • concrete-redex

      Public
      Redex with Concrete Syntax
      JavaScript
      •0•0•0•0•Updated Oct 20, 2022Oct 20, 2022

    • rascal-graph-dsl-demo

      Public
      Rascal
      •0•0•0•0•Updated Sep 27, 2022Sep 27, 2022

    • ada-air

      Public
      Experimental Rascal front-end for Ada
      Ada
      •
      BSD 2-Clause "Simplified" License
      •0•4•0•0•Updated Aug 26, 2022Aug 26, 2022

    • bacata-core

      Public
      Native Jupyter kernel in Java
      Java
      •0•1•0•0•Updated Jun 8, 2022Jun 8, 2022