szabta89
Staff research engineer @GitHubNext / PhD in computer science / mountain biker / crossfitter
GitHubAustria
Pinned Repositories
codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
Franca-DLT
IIFA
IncA
Incremental Program Analysis Framework
mps-workshop
MPS Workshop Material - Reference Implementation
szabta89's Repositories
szabta89/IncA
Incremental Program Analysis Framework
szabta89/mps-workshop
MPS Workshop Material - Reference Implementation
szabta89/Franca-DLT
szabta89/IIFA
szabta89/szabta89.github.io
szabta89/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
szabta89/codeql-playground
szabta89/cumulocity-cypress
Collection of commands and utilities to be used for automating tests for Cumulocity with Cypress.
szabta89/flix-analyses
Flix program analysis experiments
szabta89/github-security-alerts
VS Code extension to view and resolve the security alerts for your GitHub repositories 🔒
szabta89/gitignore
A collection of useful .gitignore templates
szabta89/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
szabta89/langdev
Repo for the LangDev meetup
szabta89/mbeddr.concurrent
concurrency support in mbeddr
szabta89/mbeddr.hpc
HPC extensions for mbeddr
szabta89/MPS
JetBrains Meta programming System
szabta89/MPS-Benchmarks
Benchmark projects for JetBrains MPS
szabta89/ohmyzsh
🙃 A delightful community-driven (with 1700+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
szabta89/soot
Soot - A Java optimization framework
szabta89/szabta89
szabta89/viatra-queries-mvn
Maven repository for experimental Viatra Queries artifacts.
szabta89/ws.logv.baselanguage
"Scala-ish" var and val variable declarations for MPS base language