Skip to content
✍️
Writing my master's thesis
✍️
Writing my master's thesis
Pro
Block or report user

Report or block matthesjh

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@CAU-Kiel-Tech-Inf
Block or report user

Report or block matthesjh

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. sc19-swift-client

    Swift client for Software-Challenge Germany 2018/2019

    Swift 4 1

  2. coq-tal

    Formalization of Typed Assembly Language (TAL) in Coq

    Coq 4

  3. language-curry

    Curry language support in Atom

    2

  4. autocomplete-curry

    Curry autocomplete provider for Atom

    JavaScript

  5. fhukiel/levels-debugger-ruby

    A debugger for use with the levels package for Ruby

    JavaScript 1 1

  6. lakrme/atom-levels

    The Atom interface to level programming languages created with the LPS plug-in for Eclipse

    JavaScript 3

261 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

August 2019

1 contribution in private repositories Aug 10

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.