Skip to content
View matthesjh's full-sized avatar
👨‍💻
Working on new features
👨‍💻
Working on new features
18 followers · 53 following

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Organizations

@software-challenge @cau-placc
Block or Report

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

  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. coq-tal coq-tal Public

    Formalization of Typed Assembly Language (TAL) in Coq

    Coq 17 1

  4. tree-sitter-curry tree-sitter-curry Public

    Curry grammar for tree-sitter

    JavaScript 2

  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