Gyula Sallai's repositories
static-content-generator
PROOF OF CONCEPT, ABANDONED - Tools for dumping Symfony HttpKernel responses into static HTML files.
gazer
An LLVM-based formal verification frontend for C programs.
Language:C++Apache-2.0000
ivasat
A small CDCL SAT solver
Language:C++000
KnpPaginatorBundle
Provide a paginator for Symfony2 + Doctrine.
monolog
Logging for PHP 5.3
Language:PHPMIT000
OrnicarMessageBundle
Add a messenging layer on top of UserBundle