ftsrg edu (@ftsrg-edu)
Guthub

ftsrg-edu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    81
  • Global Org. Rank 62,976 (Top 21 %)
  • Registered over 3 years ago
  • Most used languages
    Java
         50.0 %
    HTML
         12.5 %
    TeX
         12.5 %
    C
         12.5 %
    C#
         12.5 %
  • Location 🇭🇺 Hungary
  • Country Total Rank 451
  • Country Ranking
    TeX
         21
    HTML
         33
    C#
         64
    Java
         252
    C
         373

Top repositories

1

swsv-labs

Lab materials for the Software and Systems Verification (VIMIMA01) course
C#
30
star
2

thesis-template-markdown

Thesis template in Markdown
HTML
15
star
3

lecture-notes

Some lecture notes of the research group
14
star
4

thesis-template-word

Thesis template in Microsoft Word
12
star
5

ndp

Nagyhatékonyságú deklaratív programozás (VISZMB01) jegyzet
TeX
4
star
6

ivt-lab

Lab exercises for the Integration and Verification Techniques course
Java
2
star
7

logic-workshop

Logic and DSL demo for students
Java
1
star
8

toolbox

Unix, Git és IDE alapok és feladatok
C
1
star
9

mdsd-examples

Projects for a course about Model-Based Systems Design
Java
1
star
10

avt-labs

Lab materials for the Advanced Verification Techniques (VIMIMA29) course
Java
1
star