matthesjh/coq-tal matthesjh/coq-tal

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language Coq
  • License
    MIT License
  • Created over 6 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
matthesjh/coq-tal
github

matthesjh

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formalization of Typed Assembly Language (TAL) in Coq

More Repositories

1

sc19-swift-client

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

language-curry

Curry language support in Atom
3
star
3

rewriting-curry

Libraries for term rewriting and narrowing in Curry
3
star
4

sc20-swift-client

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

sc23-swift-client

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

tree-sitter-curry

Curry grammar for tree-sitter
JavaScript
2
star
7

autocomplete-curry

Curry autocomplete provider for Atom
JavaScript
1
star