Skip to content
View DavidLee18's full-sized avatar
31 followers · 44 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report DavidLee18

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

Hi there 👋

Pinned Loading

  1. gospelsub-pure gospelsub-pure Public

    a purely functional GospelSub

    PureScript

  2. inject_42h inject_42h Public

    a cli which injects 42 header to a file

    Rust 2

  3. norminette_lsp norminette_lsp Public

    a language server for 42 Norminette

    Rust

  4. zed_norminette zed_norminette Public

    a zed extension to enable in-editor norminette linting

    Rust 1