Skip to content
View wrrnhttn's full-sized avatar
🤖
wherein one gives in to the LLMs
🤖
wherein one gives in to the LLMs
10 followers · 19 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report wrrnhttn

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. joycon-unity joycon-unity Public

    Use Nintendo Switch Joycon as an input method for the Unity Editor

    8 2

  2. agda-sdg agda-sdg Public

    Basic SIA and SDG in Agda

    Agda 1

  3. Heijden.Dns Heijden.Dns Public

    Forked from ghuntley/Heijden.Dns

    A reusable DNS resolver for .NET.

    C#

  4. wrrnhttn.github.io wrrnhttn.github.io Public

    HTML

  5. agda-cubical-multidimensional agda-cubical-multidimensional Public

    Multidimensional data in Cubical Agda.

    Agda

  6. agda-mereotopology agda-mereotopology Public

    Mereotopology in Agda