Skip to content
View holtzermann17's full-sized avatar
104 followers · 42 following

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@kmi @ElTarot @Peeragogy @BioBib @planetmath
Block or Report

Block or report holtzermann17

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 Loading

  1. toki-pona-emoji toki-pona-emoji Public

    a proposed translation of toki pona lexicon into github emoji

    24 3

  2. linepad linepad Public

    emacs client for etherpad-lite

    Emacs Lisp 22 2

  3. mmtn mmtn Public

    A LISP MUD.

    Common Lisp 7 2

  4. planetmath-docs planetmath-docs Public

    Documentation for the PlanetMath website and organization to be read in combination with the Planetary issue tracker.

    TeX 7 1

  5. mathgame mathgame Public

    Math for game designers course examples

    Python 4 4

  6. metaca metaca Public

    with apologies to douglas hofstadter, melanie mitchell, and james marshall

    TeX 4 1