Tamás Szabó's repositories
mps-workshop
MPS Workshop Material - Reference Implementation
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
flix-analyses
Flix program analysis experiments
github-security-alerts
VS Code extension to view and resolve the security alerts for your GitHub repositories 🔒
gitignore
A collection of useful .gitignore templates
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
mbeddr.concurrent
concurrency support in mbeddr
mbeddr.hpc
HPC extensions for mbeddr
MPS-Benchmarks
Benchmark projects for JetBrains MPS
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.
viatra-queries-mvn
Maven repository for experimental Viatra Queries artifacts.
ws.logv.baselanguage
"Scala-ish" var and val variable declarations for MPS base language