Skip to content
View Mesabloo's full-sized avatar
🦐
🦐
  • France

Organizations

@zilch-lang

Block or report Mesabloo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Mesabloo/README.md

Oh hello there! 👋

I'm Ghilain, nice to meet you! Well obviously we cannot talk here (unfortunately?). Let me just summarize who I am.

So, I'm just a young guy, really interested in the programming language theory and everything it comes with (parsers, type systems, etc). I got into it at around 2018, when I started thinking about creating my own programming language.

I further evolved into making more unfinished programming languages! 🎉

Here are some of my projects:

  • Back in 2018, I implemented a small assembly language-like programming language running on a Virtual Machine (much like Java). It was originally named “#*”, but was later renamed into “Snow*”. The repository is available here.

    At that time I didn't know C++ really well, but I think I ended up with something not quite bad.

    sharpstar repository

  • After upgrading the language for about 2 months, I decided to restart the project from scratch, into another direction. That's where the last Snow* got to life. It was still C++, but much less crappy than before. It used ANTLR for the parsing, and LLVM for the code generation and executable creation. The code is available here.

    snowstar repository

  • I then stopped Snow*, especially from lack of motivation...and started a new programming language about 4 months after. It was named “Blob”, and was meant to guarantee type- and data-safety through the use of complex types (see “Quantitative Type Theory” on google). It was the first time I used Haskell, because someone recommended it to me. I ended up enjoying my time with this new programming language I didn't know.

    The language (Blob) got to a stage where I dropped some features, even before trying to implement them (like the QTT), because of how complicated things would become. I later renamed the language “Nihil”, in reference to the fact that's there nothing usable in this programming language.

    The repository (this one) is currently the holder of the most ⭐ on my profile!

    nihil repository

  • My new project, Zilch is mostly a rework of Nihil. Things did not end well for it (the code is still available here). To keep things short:

    • my motivation decreased quite a lot
    • I worked on another project
    • the code written was undocumented and not necessarily easy to maintain if ever I had to
    • I worked alone
    • nobody had interest anymore in it.

    So I restarted everything, again... I am now creating another monstrosity: a low-level functional programming language inspired by Haskell and Rust, featuring type- and data-safety through linear types and such, and compiling to N*, a low-level typed assembly language. I'm also trying to formalize the language as can be seen here.

    zilch repository nstar repository specification repository

I also have some other side projects, like my custom virtual CPU or my Haskell assembly DSL. But there is even more to see here! (where in fact most of the projects have been left behind)

Just a little bit of statistics:

And I do have some other hobbies!

Even though I waste most of my time in front of my screen, on my keyboard, I also enjoy eating, tinkering (I like to make rings for no reason), and playing games like BeamNG.Drive or World of Tanks. 🎮

Anything to add?

The "place" you belong to is not necessarily a physical place. Some people may find that they feel well on Discord in some specific servers, others may find that living close to their close friends is what makes them enjoy life.

But I believe that you should not have to find this "place". This place should first be your heart. You are the only one able to love you as much as you may want to. Loving yourself is not about loving every single part of you, every little part that makes you what you are. It instead is about knowing that you are not flawless, and accepting those flaws, accepting those as parts of yourself. Self-hatred is not what you should feel. Self-hatred is some kind of disease, but one you cannot cure easily (if even at all). Just learn to love yourself (or at least try), instead of relying on "how you always felt like" and giving you blame for it. This is more important than everything else.

Learn to love yourself as you are, and people will start loving yourself for who you really are, and not the one you pretend to be.

Pinned Loading

  1. zilch-lang/specification zilch-lang/specification Public

    A complete specification on Zilch and N⋆

    TeX 10

  2. diagnose diagnose Public

    A simple library for reporting compiler/interpreter errors

    Haskell 260 19

  3. coqide.kak coqide.kak Public

    A fully-fledged CoqIDE-like experience for Kakoune

    Rust 7

  4. sylefeb/Silice sylefeb/Silice Public

    Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

    C++ 1.3k 81

  5. A small typechecker using normalizat... A small typechecker using normalization by evaluation (NbE) for a Quantitative Dependently Typed Lambda Calculus (QDTLC).
    1
    A small typechecker using normalization by evaluation (NbE) for a Quantitative Dependently Typed Lambda Calculus (QDTLC).
  6. nihil nihil Public archive

    Nihil, a statically typed interpreted functional programming language

    Haskell 68 2