sylvainhalle/PaperShell
Nice and flexible template environment for papers written in LaTeX
Developer Profile
sylvainhalle
Discovered public repositories for sylvainhalle in the GitHub catalog.
sylvainhalle/nserc-latex-template
A LaTeX template for NSERC Discovery Grant applications
sylvainhalle/Bullwinkle
An on-the-fly parser for BNF grammars
sylvainhalle/MetaConfig
Public repository.
sylvainhalle/GyroGearloose
Ou Géo Trouvetout
sylvainhalle/BufferTannen
Protocol for one-way communication channels
sylvainhalle/BeepBeepConsole
Web browser front-end for the BeepBeep runtime monitor
sylvainhalle/TheFriendlyModelChecker
Public repository.
sylvainhalle/CCCVTK
The Canadian Common CV Toolkit
sylvainhalle/FantasticWindmill
A static web site generator for PHP programmers
sylvainhalle/BeepBeepCSharp
C# port of the BeepBeep runtime monitor
sylvainhalle/MrSim
A simple MapReduce framework in Java
sylvainhalle/TurtleDB
A mini distributed database engine in Java
sylvainhalle/uqac-these
Classe LaTeX pour les mémoires et les thèses de l'Université du Québec à Chicoutimi
sylvainhalle/bibtex2html
Convert BibTeX files into HTML documents through LaTeX
sylvainhalle/FirewallCheck
Firewall anomaly detectors
sylvainhalle/BeepKitu
BeepBeep adaptation of the Lakitu platformer
sylvainhalle/TraceAdapter
Automated translation of event traces and temporal properties