Name: Jan-Hendrik Matthes
Type: User
Company: Cap3 GmbH (@cap3)
Bio: Frontend/Mobile developer. Computer Science at Kiel University. Germany Scholarship holder. Interested in Swift, functional programming and web technologies.
Twitter: jhmatthes
Location: Kiel, Germany
Blog: https://matthesjh.github.io/
Jan-Hendrik Matthes's Projects
Curry autocomplete provider for Atom
Formalization of Typed Assembly Language (TAL) in Coq
A collection of useful .gitignore templates
Curry language support in Atom
My personal website
Libraries for term rewriting and narrowing in Curry
Swift client for Software-Challenge Germany 2018/2019
Swift client for Software-Challenge Germany 2019/2020
Swift client for Software-Challenge Germany 2022/2023
Curry grammar for tree-sitter