Home Original page

ingodahn - Overview

@ingodahn

ingodahn

Follow

View ingodahn's full-sized avatar

Ingo Dahn ingodahn

Block or report ingodahn

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. nbplayer nbplayer Public

    Notebook-Player - Converting Jupyter notebooks to interactive web sites using SageCells

    JavaScript 3

  2. math-parser math-parser Public

    Forked from mossadal/math-parser

    PHP parser for mathematical expressions

    PHP 1 1

  3. IMathAS IMathAS Public

    Forked from drlippman/IMathAS

    IMathAS Online Math Assessment

    PHP 1 2

  4. nbsite nbsite Public

    Generating a website with navigation, in particular, supporting data exchange for nb player files

    Vue 1 1

  5. xAPI-Spec xAPI-Spec Public

    Forked from bscSCORM/xAPI-Spec

  6. ILF ILF Public

    Updated repository for the ILF system, reduced to natural language presentation of Prover 9 proofs

    Prolog