Explore @ftsrg Open Source projects

@ftsrg

ftsrg

Stars
387
Global Org. Rank 27,901 (Top 9 %)
Registered almost 11 years ago
Most used languages

Java
38.9 %

TeX
13.9 %

C++
8.3 %

Xtend 5.6 %

Kotlin
5.6 %

TypeScript
5.6 %

Dockerfile
2.8 %

HTML
2.8 %

R
2.8 %

CSS
2.8 %

Scala
2.8 %

Python
2.8 %

Visual Basic 2.8 %

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

TeX
1

Visual Basic 1

Xtend 1

Scala
4

R
18

Java
27

Kotlin
48

C++
54

Dockerfile
75

C#
81

CSS
110

TypeScript
279

HTML
503

Python
849

cheat-sheets

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

thesis-template-latex

Thesis template for LaTeX documents.

theta

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

ingraph

Incremental view maintenance for openCypher graph queries.

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)

semantifyr

A framework to support the declarative definition of engineering model semantics

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

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

graphgen-railway-models

Generation of railway architecture models

paper-ttc15-trainbenchmark-eiq

Paper for the TTC 2015 Train Benchmark case

mondo-utils

Utility classes for the applications in the MONDO project

emf2yed

Turns EMF models to yEd-compatible GraphML files

mondo-mondix

zkp-audit-zokrates

Sample audit programs and input generator tool for the article Privacy-Preserving Noninteractive Compliance Audits of Blockchain Ledgers with Zero-Knowledge Proofs