fstamour/redmoon
toy programming laguage that I created to learn about formal method and static analysis
source-id=1399 version=2 project-id=1399 project-version=0
| Type | GITHUB |
|---|---|
| Created at | 2025-09-19 00:08:31 UTC |
| Source | https://github.com/fstamour/redmoon |
| Branch or tag | master |
| Last seen commit | 84557f25db8d11c4892849bccb5e5d703c7f2062 |
| Release | http://dist.ultralisp.org/archive/1399/fstamour-redmoon-20250919000824.tgz |
| Systems |
|
| Distributions | ultralisp |
| Last check | Finished 3 days 6 hours ago. Next check will be made in 3 days 17 hours. |