Jan-Hendrik Matthes (@matthesjh)
github

matthesjh

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    34
  • Global Rank 448,285 (Top 16 %)
  • Followers 17
  • Following 53
  • Registered almost 8 years ago
  • Most used languages
    Swift
         50.0 %
    JavaScript
         33.3 %
    Coq     16.7 %
  • Location 🇩🇪 Germany
  • Country Total Rank 19,259
  • Country Ranking
    Coq     6
    Swift
         739

Top repositories

1

coq-tal

Formalization of Typed Assembly Language (TAL) in Coq
Coq
15
star
2

sc19-swift-client

Swift client for Software-Challenge Germany 2018/2019
Swift
4
star
3

language-curry

Curry language support in Atom
3
star
4

rewriting-curry

Libraries for term rewriting and narrowing in Curry
3
star
5

sc20-swift-client

Swift client for Software-Challenge Germany 2019/2020
Swift
3
star
6

sc23-swift-client

Swift client for Software-Challenge Germany 2022/2023
Swift
3
star
7

tree-sitter-curry

Curry grammar for tree-sitter
JavaScript
2
star
8

autocomplete-curry

Curry autocomplete provider for Atom
JavaScript
1
star