FrNecas
Masters Student at Brno University of Technology interested in Static Analysis
Red HatBrno, Czech Republic
Pinned Repositories
ifj20-go-compiler
IFJ20 compiler – a Go-inspired language compiler
2ls
Static Analyzer and Verifier
2ls
Static Analyzer and Verifier
arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
cbmc
C Bounded Model Checker
hexagon-puzzle-solver
Hexagon puzzle solver that I created for my grandpa utilizing backtracking
SunnyCalc
A simple calculator created for the 2nd assignment in IVS course at FIT BUT
rebase-helper
This tool helps you rebase your package to the latest version
kachna-online
Students' Club U Kachničky: Member's portal
tmt
Test Management Tool
FrNecas's Repositories
FrNecas/hexagon-puzzle-solver
Hexagon puzzle solver that I created for my grandpa utilizing backtracking
FrNecas/SunnyCalc
A simple calculator created for the 2nd assignment in IVS course at FIT BUT
FrNecas/2ls
Static Analyzer and Verifier
FrNecas/arrow
Apache Arrow is a multi-language toolbox for accelerated data interchange and in-memory processing
FrNecas/cbmc
C Bounded Model Checker
FrNecas/colors
ANSI colors for Python
FrNecas/commit-analysis
FrNecas/cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
FrNecas/dashboard
Packit-service web UI dashboard
FrNecas/deployment
Ansible playbooks and scripts for deploying packit-service to OpenShift
FrNecas/dices
FrNecas/diffkemp
Static analysis of semantic differences in kernel versions
FrNecas/EqBench
FrNecas/fmf
Flexible Metadata Format
FrNecas/GreyaBot
A custom discord bot for managing a server, capable of live stream notifications, dynamic voice channels and much more
FrNecas/ogr
One Git library to Rule -- one API for many git forges
FrNecas/packit
Upstream project ← → Downstream distribution
FrNecas/packit-service
Packit provided as a service
FrNecas/packit-tf-trigger
FrNecas/packit.dev
packit.dev website content
FrNecas/prepare-release
A GitHub action to prepare new releases
FrNecas/rebase-helper
This tool helps you to rebase your package to the latest version
FrNecas/research
The repo is used for research around packit and its workflow
FrNecas/rubbergod
FITWIDE discord bot
FrNecas/status
https://status.packit.dev website content
FrNecas/sunrise-alarmclock
FrNecas/tmt
Test Management Tool
FrNecas/upgrade-example