Skip to content
Change the repository type filter

All

    Repositories list

    • ase-labs

      Public
      Practice material for the Automated Software Engineering course
      1600Updated Dec 23, 2024Dec 23, 2024
    • Example project with main branch for practice 10 of the ASE course
      Java
      0000Updated Nov 19, 2024Nov 19, 2024
    • avt-labs

      Public
      Lab materials for the Advanced Verification Techniques (VIMIMA29) course
      Jupyter Notebook
      2110Updated Sep 24, 2024Sep 24, 2024
    • ivt-lab

      Public
      Lab exercises for the Integration and Verification Techniques course
      Java
      MIT License
      43200Updated May 2, 2023May 2, 2023
    • swsv-labs

      Public
      Lab materials for the Software and Systems Verification (VIMIMA01) course
      C#
      MIT License
      93010Updated Oct 25, 2022Oct 25, 2022
    • Projects for a course about Model-Based Systems Design
      Java
      GNU General Public License v3.0
      1100Updated Aug 26, 2021Aug 26, 2021
    • Some lecture notes of the research group
      11400Updated Aug 26, 2021Aug 26, 2021
    • thesis-template-word

      Public archive
      Thesis template in Microsoft Word
      01450Updated Aug 26, 2021Aug 26, 2021
    • toolbox

      Public
      Unix, Git és IDE alapok és feladatok
      C
      5100Updated Feb 20, 2019Feb 20, 2019
    • ndp

      Public
      Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet
      TeX
      0400Updated Mar 6, 2017Mar 6, 2017
    • logic-workshop

      Public archive
      Logic and DSL demo for students
      Java
      0100Updated Jul 21, 2016Jul 21, 2016
    • Notes for student work on mbeddr and autofocus
      C
      0000Updated May 31, 2016May 31, 2016
    • Thesis template in Markdown
      HTML
      151510Updated Dec 10, 2015Dec 10, 2015