Bourbouh's repositories
lm_challenges
Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
free-programming-books
:books: Freely available programming books
cocosim-external-libs
Simulink toolboxes
alpaca-trade-api-python
Python client for Alpaca's trade API
Language:PythonApache-2.0000
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Language:JavaNOASSERTION000
Language:JavaScriptNOASSERTION000
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
hbourbouh.github.io
personal website
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Language:C++NOASSERTION000
InterpretationAbstraite
projet d'interprétation abstraite
System-Design
System Design and Design Pattern Books
000