4 releases
| 0.1.3 | May 11, 2023 |
|---|---|
| 0.1.2 | Apr 2, 2023 |
| 0.1.1 | Mar 3, 2023 |
| 0.1.0 | Jan 27, 2023 |
#1802 in Programming languages
88 downloads per month
Used in kind2
26KB
606 lines
Driver for the kind compiler
Dependencies
~23MB
~382K SLoC
| 0.1.3 | May 11, 2023 |
|---|---|
| 0.1.2 | Apr 2, 2023 |
| 0.1.1 | Mar 3, 2023 |
| 0.1.0 | Jan 27, 2023 |
#1802 in Programming languages
88 downloads per month
Used in kind2
26KB
606 lines
Driver for the kind compiler
~23MB
~382K SLoC