matthesjh
Frontend/Mobile developer. Computer Science at Kiel University. Germany Scholarship holder. Interested in Swift, functional programming and web technologies.
Cap3 GmbH (@cap3)Kiel, Germany
Pinned Repositories
levels-debugger-ruby
A debugger for use with the levels package for Ruby
atom-levels
The Atom interface to level programming languages created with the LPS plug-in for Eclipse
autocomplete-curry
Curry autocomplete provider for Atom
coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
language-curry
Curry language support in Atom
rewriting-curry
Libraries for term rewriting and narrowing in Curry
sc19-swift-client
Swift client for Software-Challenge Germany 2018/2019
sc20-swift-client
Swift client for Software-Challenge Germany 2019/2020
sc23-swift-client
Swift client for Software-Challenge Germany 2022/2023
tree-sitter-curry
Curry grammar for tree-sitter
matthesjh's Repositories
matthesjh/coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
matthesjh/sc19-swift-client
Swift client for Software-Challenge Germany 2018/2019
matthesjh/language-curry
Curry language support in Atom
matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
matthesjh/sc23-swift-client
Swift client for Software-Challenge Germany 2022/2023
matthesjh/sc20-swift-client
Swift client for Software-Challenge Germany 2019/2020
matthesjh/tree-sitter-curry
Curry grammar for tree-sitter
matthesjh/autocomplete-curry
Curry autocomplete provider for Atom
matthesjh/gitignore
A collection of useful .gitignore templates
matthesjh/matthesjh.github.io
My personal website