Skip to content
View El1i0r's full-sized avatar
☠️
☠️

Block or report El1i0r

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
El1i0r/README.md

Affan Ahmad / Homepage / Reddit / GitHub / Gist

I go by El1i0r, or El1. I am currently a CS student in high school, and am interested in Operating Systems Development, Programming Language Design and Implementation, and Linux systems and aspire to become a professional computer scientist. I am currently working on different open source projects related to my interests, including Wlek, a hobby project for learning the inner workings of Operating Systems, and Flerry, a programming language for safe systems programming. You can call it a grandiose delusion, but I intend to do more than just hobbies.

Pinned Loading

  1. Flerry Flerry Public

    A powerful yet minimal systems programming language utilizing dependent types, contracts, and a strong builtin proving system.

    Rust 3

  2. Fullerene Fullerene Public

    A cozy and condensed bitmap font for the pixelated enthusiasts.

    3

  3. leva leva Public

    A superset of Pie from little typer, intended to be my and a friend's playing ground with Martin Lof Type Theory.

    Racket 1

  4. maelstorm maelstorm Public

    Abandon all hope ye who enter the treacherous realms of the seven seas, for ye be about te see the wrath of math, the monstrosity of types, the fury of OCaml. The Ship of Maelstorm fer programming …

    C 1