Block or report user

Report or block levex

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Developer Program Member

Organizations

@ImperialCollegeLondon @icdocsoc @fedorahungary @ichealthhack @docsocsf @nebulet

Pinned repositories

  1. levos7

    A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.

    C 20 3

  2. osdev

    Fourth rewrite of LevOS, aiming for POSIX compliance.

    C 72 12

  3. torvalds/linux

    Linux kernel source tree

    C 62.3k 22.8k

  4. arm-mariokart

    ARM11 group project; Atanas G., Norbert P., Daniel Z., Levente K.: MARIO KART

    Assembly 5

  5. haskell-doom

    doom

    Haskell 14 1

  6. wacc-os

    waccOS, an operating system kernel written in WACC.

    Assembly 2

316 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity
Jump to

August 2018

Created a pull request in rust-embedded/wg that received 17 comments

IRC Operational Notes

Hi, as discussed in issue #154, here's my proposal in a better form. Rendered There are a couple of questions I could think of: Is there any point…

+58 −0 • 17 comments

Created an issue in eminence/procfs that received 1 comment

Improving is_alive()

Hi Andrew, First of all - thanks for the great library, we use it in production for a larger Rust-based system supervisor project. That said, I hav…

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.