Skip to content
View yazaldefilimone's full-sized avatar
🖤
I like computers
🖤
I like computers
142 followers · 15 following

Achievements

Achievement: Public SponsorAchievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLO
BetaSend feedback

Achievements

Achievement: Public SponsorAchievement: QuickdrawAchievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLO
BetaSend feedback

Highlights

Block or Report

Block or report yazaldefilimone

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

I strongly love low-level details of computers (math is so beautiful!).

Interests:

  1. VMs, Compilers, Pl, Type Theory, JIT Compilers, VMMs, Math.

  2. Web Technology

    • ECMAScript (JavaScript)
    • Web Browsers
    • CSS JIT Compilation
    • WebKit

  3. Systems

    • Kernels
    • Operating Systems

  4. Accelerators

    • GPUs
    • FPGAs

• Projects:

  1. A JavaScript and TypeScript engine (WIP)
  2. A light-weight and fast runtime for JavaScript and TypeScript (WIP depend 1)
  3. A dependent type checker for lambda calculus
  4. Build Stack-based | Bytecode interpreter | Garbage collection
  5. The Dolphin Programming Language
  6. Type system | Static typeChecker | Type inference
  7. A mini Typescript compiler
  8. High-level compilation | Transform pipeline | Message-passing mechanism | Transpiler (2023)
  9. Computer science | Algorithms | Data structures (WIP)
  10. Building an Interpreter from scratch (2023)

website • linkedin • twitter

Pinned

  1. core-engine core-engine Public

    A JavaScript and TypeScript engine

    Rust 2

  2. zox zox Public

    A light-weight and fast runtime for JavaScript and TypeScript.

    Rust

  3. virtual-machine.rs virtual-machine.rs Public

    🛠️ | Stack-based | Bytecode interpreter | Garbage collection

    Rust 1

  4. eva-typechecker eva-typechecker Public

    📝 | Type system | Static typeChecker | Type inference

    JavaScript

  5. high-level-compiler high-level-compiler Public

    🔄 | High-level compilation | Transform pipeline | Message-passing mechanism | Transpiler

    JavaScript 1

  6. nintendo-system nintendo-system Public

    A nintendo entertainment system (aka NES) emulator

    Rust