Giters
smithy-lang
/
smithy-dafny
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
6
Issues:
129
Forks:
8
This repository is not active
About
License:
Apache License 2.0
Languages
Language:
Java
57.9%
Language:
Rust
32.5%
Language:
Dafny
7.0%
Language:
Makefile
1.4%
Language:
Smithy
1.2%
Language:
Shell
0.1%