Skip to content
View egkoppel's full-sized avatar

Organizations

@popcorn-2

Block or report egkoppel

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 250 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
egkoppel/README.md

Hi there

I'm a second year engineering student at Cambridge, with a bunch of side programming projects here! I end up creating a few repos per project, which is why most of the links here link to other organisations - almost all the code is written by only me.

My main project at the moment is popcorn-2, a rewrite (back into Rust, it's a long story) of my earlier C++ attempt (popcorn-1). It's a microkernel with a general aim of experimenting with how to improve security and a reduction in application permissions (think phone style sandboxing), without reducing UX by a substantial amount. It also has a few other aims like trying to be vaguely UNIX based but impoving all the imo weird bits like having to treat everything as a file and then fudge extras on with ioctl, and instead replaces this with a higher level, extensible IDL.

In the past I've also worked on a toy language and compiler (znoc), some custom software for generating my tax forms (unpushed as of writing but will be at us-tax), as well as working at Firefly Racing for a year building various telematics systems (closed source but some photos are on my LinkedIn).

I also (very occasionally) post about other not necessarily programming bits and bobs on my blog at eliyahu.co.uk.

Pinned Loading

  1. popcorn-2/popcorn-2 popcorn-2/popcorn-2 Public

    Rust 2 1

  2. popcorn-1 popcorn-1 Public archive

    C++ 2

  3. zno-project/znoc zno-project/znoc Public

    C++ 2