Skip to content
View d-gaston's full-sized avatar
11 followers · 0 following

Achievements

Achievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Pull Shark

Block or report d-gaston

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
d-gaston/README.md

Welcome to my Github Profile

Here's a list of computer science topics I'm interested in:

  • Programming languages
    • Compilers
    • Static Analysis
    • Assembly Language
  • Model checking
  • Distributed Systems
  • Search Engines
  • Testing
  • Data Modeling

Pinned Loading

  1. armv8-examples armv8-examples Public

    ARMv8 example programs to learn from and armsim, an ARMv8 simulator

    Python 23 7

  2. missing-tests missing-tests Public

    HTML 1

  3. austral austral Public

    Forked from austral/austral

    Systems language with linear types and capability-based security.

    OCaml

  4. x86progs x86progs Public

    Some x86 assembly program I wrote

    Assembly

  5. SerenityOS/serenity SerenityOS/serenity Public

    The Serenity Operating System 🐞

    C++ 31k 3.2k