Pinned Repositories
alpaca-trade-api-python
Python client for Alpaca's trade API
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
bourbouh-moroccan-darija-youtube-subtitles
cocosim-external-libs
Simulink toolboxes
free-programming-books
:books: Freely available programming books
fret
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
hbourbouh.github.io
personal website
lm_challenges
Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
stateflow2Lustre-automaton
hbourbouh's Repositories
hbourbouh/lm_challenges
Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
hbourbouh/free-programming-books
:books: Freely available programming books
hbourbouh/cocosim-external-libs
Simulink toolboxes
hbourbouh/stateflow2Lustre-automaton
hbourbouh/alpaca-trade-api-python
Python client for Alpaca's trade API
hbourbouh/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
hbourbouh/bourbouh-moroccan-darija-youtube-subtitles
hbourbouh/fret
hbourbouh/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
hbourbouh/hbourbouh.github.io
personal website
hbourbouh/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
hbourbouh/InterpretationAbstraite
projet d'interprétation abstraite
hbourbouh/kraken_profit_calculator
hbourbouh/nscale
Libraries of high performance analysis methods
hbourbouh/System-Design
System Design and Design Pattern Books