Skip to content
View bruderjakob17's full-sized avatar
🤓
🤓
4 followers · 5 following
Block or Report

Block or report bruderjakob17

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

Popular repositories

  1. isabelle_dark_theme isabelle_dark_theme Public

    EditorSchemes and preferences for dark themes in Isabelle

    2

  2. ocaml.org ocaml.org Public

    Forked from ocaml/v2.ocaml.org

    Implementation of the ocaml.org website.

    OCaml

  3. mc4d-algs mc4d-algs Public

    Algorithms for Magic Cube 4D

  4. num2math num2math Public

    Forked from enjeck/num2math

    Complicated math expression generator

    JavaScript

  5. miniJavaToTikz miniJavaToTikz Public

    Haskell

  6. boxGen boxGen Public

    Python