Beast code in Giters

Gyula Sallai's repositories

A simple compiler design hobby project.

Language:C4 20

PROOF OF CONCEPT, ABANDONED - Tools for dumping Symfony HttpKernel responses into static HTML files.

Language:PHP1 10

An LLVM-based formal verification frontend for C programs.

Language:C++Apache-2.0000

A small CDCL SAT solver

Language:C++000

Provide a paginator for Symfony2 + Doctrine.

Language:PHP010

Logging for PHP 5.3

Language:PHPMIT000

Add a messenging layer on top of UserBundle

Language:PHP020

BME-VIK Szoftver laboratórium 4 csapatprojekt

Language:Java040

Language:HTML010

The Symfony2 PHP framework (PHP 5.3 only -- not yet stable) -- documentation for master is at http://symfony.com/doc/2.0/

Language:PHPMIT010

Generic, modular and configurable model checking framework

Language:JavaApache-2.0020

Clone of the Zend Framework 2.0 git repository

Language:PHPBSD-3-Clause010