Skip to content
View mell-o-tron's full-sized avatar
194 followers · 21 following
  • Italy

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Starstruckx2

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Starstruckx2

Block or report mell-o-tron

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mell-o-tron/README.md

mell-o-tron

I'm a PhD Student at the Max Planck Institute for Informatics, in the Automation of Logic group.

My main personal projects are MellOS and perk.

I really like mathematics, hiking, pull-up bars, music, cats and food.

  

A link..

..to a website containing more info about me

A quote

Computer science is no more about computers than astronomy is about telescopes (not(?) E.W.D.)

Pinned Loading

  1. MellOs MellOs Public

    Minimal, collaboratively written kernel

    C 442 54

  2. OS-Reference OS-Reference Public

    Assembly 83 16

  3. Lambda-Compiler Lambda-Compiler Public

    A compiler of the Lambda-Calculus to 16-bit x86 assembly code

    OCaml 8 1

  4. road-network-sim road-network-sim Public

    A road network simulator, implementing both a macroscopic and a microscopic traffic model.

    GDScript 1

  5. Curry-Howard-Lambek-Seminar Curry-Howard-Lambek-Seminar Public

    1

  6. coqshop coqshop Public

    Coq 1