Skip to content
View yazaldefilimone's full-sized avatar
:octocat:
I like computers
:octocat:
I like computers
156 followers · 25 following

Sponsoring

@imteekay

Achievements

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

Achievements

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

Highlights

Organizations

@ghostty-org

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

Pinned Loading

  1. stella stella Public

    [WIP] Speedy lua type checker.

    Rust 32 1

  2. dolphin dolphin Public

    The Dolphin Programming Language

    TypeScript 2

  3. spipe spipe Public

    An efficient pipe-powered SQL compiler

    Rust 5

  4. webcore.rs webcore.rs Public

    [WIP] An efficient, cross-platform, web browser engine.

    Rust 2

  5. eva-typechecker eva-typechecker Public

    📝 | Type system | Static typeChecker | Type inference

    JavaScript

  6. mathematics mathematics Public

    My brain doesn't work :(

    Lean