Yecine Megdiche (@TheMC47)
github

TheMC47

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,193,538 (Top 42 %)
  • Followers 15
  • Following 1
  • Registered almost 8 years ago
  • Most used languages
    Emacs Lisp
         50.0 %
    Scala
         50.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 42,777
  • Country Ranking
    Emacs Lisp
         222
    Scala
         541

Top repositories

1

dotfiles

Emacs Lisp
3
star
2

bachelor-thesis-isabelle-linter

A Linter for Isabelle. Developed for my bachelor's thesis at the Chair For Logic and Verification at the Technical University of Munich
Scala
3
star