Pinned Repositories
cca
Code Continuity Analysis Framework
atom-plugin
Deepcode plugin for IDE "Atom"
bison
GNU Bison
cca
Code Continuity Analysis Framework
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
godot
Godot Engine – Multi-platform 2D and 3D game engine
mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
test
zfs
OpenZFS on Linux and FreeBSD
petr-bauch's Repositories
petr-bauch/atom-plugin
Deepcode plugin for IDE "Atom"
petr-bauch/bison
GNU Bison
petr-bauch/cca
Code Continuity Analysis Framework
petr-bauch/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
petr-bauch/godot
Godot Engine – Multi-platform 2D and 3D game engine
petr-bauch/mysql-server
MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.
petr-bauch/test
petr-bauch/zfs
OpenZFS on Linux and FreeBSD