Popular repositories Loading

1. PhDThesis PhDThesis Public

   PhD Thesis: Formal Methods for Distributed Real-Time Systems

   TeX

2. Brick Brick Public

   Arcade brick game

   VHDL

3. HalalOS HalalOS Public

   Linux Kernel

   C

4. Coursera Coursera Public

   Forked from tjaskula/Coursera

   These are my learning exercices from Coursera

   Jupyter Notebook

5. portfolio portfolio Public

   TypeScript

6. resume resume Public

   TeX