Skip to content
View jochembroekhoff's full-sized avatar

Highlights

  • Pro

Block or report jochembroekhoff

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

Pinned Loading

  1. agda2llvm agda2llvm Public archive

    LLVM Backend for Agda (BSc thesis)

    Haskell 3 1

  2. MetaBorgCube/gazebo MetaBorgCube/gazebo Public

    Gazebo: A Domain-Specific Language for Minecraft

    Kotlin

  3. rastenis/x86-frogger rastenis/x86-frogger Public

    A primitive recreation of classic Frogger as a project for the Computer Organization course(CSE1400) at Delft University of Technology.

    Assembly 2

  4. motorscript-v2-rework motorscript-v2-rework Public archive

    Experimental second iteration of the MotorScript compiler.

    Kotlin

  5. CDMLLoader CDMLLoader Public archive

    A Markup Language for designing Device Mod Applications.

    Java 1