Skip to content
View matthesjh's full-sized avatar
👨‍💻
Working on new features
👨‍💻
Working on new features

Organizations

@software-challenge @cau-placc

Block or report matthesjh

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. sc23-swift-client sc23-swift-client Public template

    Swift client for Software-Challenge Germany 2022/2023

    Swift 3

  2. sc20-swift-client sc20-swift-client Public template

    Swift client for Software-Challenge Germany 2019/2020

    Swift 2

  3. tree-sitter-curry tree-sitter-curry Public

    Curry grammar for tree-sitter

    JavaScript 4 1

  4. coq-tal coq-tal Public

    Formalization of Typed Assembly Language (TAL) in Coq

    Coq 17 1

  5. fhukiel/levels-debugger-ruby fhukiel/levels-debugger-ruby Public

    A debugger for use with the levels package for Ruby

    JavaScript 1 1

  6. lakrme/atom-levels lakrme/atom-levels Public

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

    JavaScript 3