Explore @ftsrg Open Source projects

@ftsrg

ftsrg

Stars
387
Global Org. Rank 27,408 (Top 9 %)
Registered about 10 years ago
Most used languages

Java
41.2 %

TeX
14.7 %

C++
8.8 %

Xtend 5.9 %

R
2.9 %

Dockerfile
2.9 %

Kotlin
2.9 %

Visual Basic 2.9 %

TypeScript
2.9 %

HTML
2.9 %

Python
2.9 %

CSS
2.9 %

Scala
2.9 %

C#
2.9 %
Location 🇭🇺 Hungary
Country Total Rank 123
Country Ranking

TeX
1

Visual Basic 1

Xtend 1

Scala
4

R
22

Java
28

C++
54

Dockerfile
65

Kotlin
67

C#
80

CSS
99

HTML
340

TypeScript
366

Python
862

cheat-sheets

Getting started tutorials and cheat sheets for various technologies used in our projects.

thesis-template-latex

Thesis template for LaTeX documents.

ingraph

Incremental view maintenance for openCypher graph queries.

theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

seviz

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

codemodel-rifle

Graph-based incremental static analysis of ECMAScript 6 source code repositories

gazer

An LLVM-based formal verification frontend for C programs.

BME-MODES3

Model-based Demonstrator for Smart and Safe Systems

trainbenchmark

The Train Benchmark framework for evaluating incremental model validation performance

graph-analyzer

Library for analyzing typed graphs.

templates

Public appearance guidelines and logos

graph-metrics

BSc thesis work of Lehel Boer

mondo-collab-framework

MONDO Collaboration Framework (WP4)

ttc16-cra-viatra-dse

Solution for the TTC 2016 Class Responsibility Assignment case

zkWF

Privacy-Preserving method for Business Process Tracking on Blockchain

paper-ttc15-java-refactoring

Paper for the TTC 2015 Java Refactoring case

thesis-works

Thesis works in @ftsrg

sigmod2014-pc-top-solutions

Revived versions of the top solutions of the SIGMOD 2014 Programming Contest

docs.inf.mit.bme.hu

Old FTSRG GitHub Pages

mondo-sam

MONDO-SAM: a lightweight benchmark workflow engine

publication-pages

Github repository for publication pages

ftsrg.github.io

🔴⚫⭕ New, modern website of ftsrg

viewmodel

ViewModel: Incremental view model synchronization using partial models

java-benchmarking

ingraph-tex-converter

trainbenchmark-ttc

(Deprecated.) Framework for the TTC 2015 Train Benchmark case

paper-ttc15-trainbenchmark-eiq

Paper for the TTC 2015 Train Benchmark case

effective-permission-evaluation

Evaluation of deriving effective permissions for modeling artifacts

document-converter-actions

GitHub Actions for building LaTeX and Markdown documents

mondo-codemodel

Repository for the "Code Model" case study in MONDO

mondo-utils

Utility classes for the applications in the MONDO project

graphgen-railway-models

Generation of railway architecture models

emf2yed

Turns EMF models to yEd-compatible GraphML files

mondo-mondix