Projects in Awesome Lists by matthesjh
A curated list of projects in awesome lists by matthesjh .
https://github.com/matthesjh/coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
assembler assembly coq language tal type-system
Last synced: 10 Apr 2025
https://github.com/matthesjh/tree-sitter-curry
Curry grammar for tree-sitter
curry incremental parsing tree-sitter
Last synced: 10 Apr 2025
https://github.com/matthesjh/sc19-swift-client
Swift client for Software-Challenge Germany 2018/2019
piranhas software-challenge software-challenge-germany swift
Last synced: 16 Mar 2025
https://github.com/matthesjh/sc23-swift-client
Swift client for Software-Challenge Germany 2022/2023
hey-danke-fuer-den-fisch software-challenge software-challenge-germany swift
Last synced: 16 Mar 2025
https://github.com/matthesjh/rewriting-curry
Libraries for term rewriting and narrowing in Curry
critical-pairs curry definitional-trees kics2 narrowing pakcs rewriting substitution unification
Last synced: 16 Mar 2025
https://github.com/matthesjh/sc20-swift-client
Swift client for Software-Challenge Germany 2019/2020
hive software-challenge software-challenge-germany swift
Last synced: 16 Mar 2025