Giters
Valeriy Pushkar (pollnossa)

pollnossa

Geek Repo

10

followers

14

following

136

stars

Github PK Tool:Github PK Tool

Organizations
LibProtection

Valeriy Pushkar's repositories

pac

Stargazers:1Issues:1Issues:0

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

docker-z3-debian-packaging

Docker image for creating Z3 Theorem Prover Debian packages.

Language:ShellStargazers:0Issues:1Issues:0

dotfiles

repo holds configuration .dotfiles

Stargazers:0Issues:0Issues:0

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Language:ANTLRStargazers:0Issues:2Issues:0

klee

KLEE Symbolic Virtual Machine

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

libprotection-cpp

C++ implementation of LibProtection library

License:MITStargazers:0Issues:0Issues:0

pybind11

Seamless operability between C++11 and Python

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

top_coder

top coder tasks

Language:PythonStargazers:0Issues:0Issues:0

vim_sip_syntax

Language:Vim ScriptStargazers:0Issues:1Issues:0