Pinned Repositories
gazer
An LLVM-based formal verification frontend for C programs.
gazer
An LLVM-based formal verification frontend for C programs.
ivasat
A small CDCL SAT solver
KnpPaginatorBundle
Provide a paginator for Symfony2 + Doctrine.
monolog
Logging for PHP 5.3
OrnicarMessageBundle
Add a messenging layer on top of UserBundle
phoebe
BME-VIK Szoftver laboratórium 4 csapatprojekt
sallaigy.github.io
sallang
A simple compiler design hobby project.
static-content-generator
PROOF OF CONCEPT, ABANDONED - Tools for dumping Symfony HttpKernel responses into static HTML files.
sallaigy's Repositories
sallaigy/sallang
A simple compiler design hobby project.
sallaigy/static-content-generator
PROOF OF CONCEPT, ABANDONED - Tools for dumping Symfony HttpKernel responses into static HTML files.
sallaigy/gazer
An LLVM-based formal verification frontend for C programs.
sallaigy/ivasat
A small CDCL SAT solver
sallaigy/KnpPaginatorBundle
Provide a paginator for Symfony2 + Doctrine.
sallaigy/monolog
Logging for PHP 5.3
sallaigy/OrnicarMessageBundle
Add a messenging layer on top of UserBundle
sallaigy/phoebe
BME-VIK Szoftver laboratórium 4 csapatprojekt
sallaigy/sallaigy.github.io
sallaigy/symfony
The Symfony2 PHP framework (PHP 5.3 only -- not yet stable) -- documentation for master is at http://symfony.com/doc/2.0/
sallaigy/theta
Generic, modular and configurable model checking framework
sallaigy/zf2
Clone of the Zend Framework 2.0 git repository