Skip to content
View JoshuaGoldberg's full-sized avatar
🍓
code (maybe)
🍓
code (maybe)
10 followers · 15 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Block or report JoshuaGoldberg

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Pinned Loading

  1. owl-lean owl-lean Public

    type checker for owl, made in lean

    Lean 1

  2. secure-compilation-project secure-compilation-project Public

    Forked from robpatterson13/secure-compilation-project

    Fun Rocq activities

    Rocq Prover

  3. w1lldu/elements w1lldu/elements Public

    Northeastern CS3620 project implementing a DSL for Genshin damage rotations

    Racket 1

  4. ManiaRenderer ManiaRenderer Public

    Converts osu!mania .osr files into a .mp4 format

    Java 2

  5. Northeastern-Electric-Racing/FinishLine Northeastern-Electric-Racing/FinishLine Public

    Our project management dashboard, v5

    TypeScript 36 9

  6. JoshuaGoldberg.github.io JoshuaGoldberg.github.io Public

    Personal site, hopefully a little fun : )

    HTML