Pinned Repositories
austral
Systems language with linear types and capability-based security.
VirtualExchange
a virtual exchange with many exchange protocols (ITCH, FIX, FAST FIX, UTP ...)
blech
Blech is a language for developing reactive, real-time critical embedded software.
blech
Blech is a language for developing reactive, real-time critical embedded software.
blech_archive
Blech is a language for developing reactive, real-time critical embedded software.
mohamedghardallou.github.io
sdf-modelica
URDF/SDF to to Modelica model converter.
todo.md
TODO.md file format - todomd.org
MohamedGhardallou's Repositories
MohamedGhardallou/blech
Blech is a language for developing reactive, real-time critical embedded software.
MohamedGhardallou/blech_archive
Blech is a language for developing reactive, real-time critical embedded software.
MohamedGhardallou/mohamedghardallou.github.io
MohamedGhardallou/sdf-modelica
URDF/SDF to to Modelica model converter.
MohamedGhardallou/todo.md
TODO.md file format - todomd.org