| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 336 | logplain |
| -rw-r--r-- | .gitlab-ci.yml | 110 | logplain |
| d--------- | .reuse | 32 | logplain |
| -rw-r--r-- | AUTHORS | 76 | logplain |
| -rw-r--r-- | ChangeLog | 106 | logplain |
| d--------- | LICENSES | 131 | logplain |
| -rw-r--r-- | Makefile.am | 2822 | logplain |
| -rw-r--r-- | NEWS | 452 | logplain |
| l--------- | README | 10 | logplain |
| -rw-r--r-- | README.org | 2599 | logplain |
| -rw-r--r-- | ROADMAP | 672 | logplain |
| d--------- | build-aux | 191 | logplain |
| -rw-r--r-- | configure.ac | 1075 | logplain |
| d--------- | doc | 285 | logplain |
| -rw-r--r-- | eris.scm | 2315 | logplain |
| d--------- | eris | 262 | logplain |
| -rw-r--r-- | guix.scm | 2465 | logplain |
| -rw-r--r-- | hall.scm | 2416 | logplain |
| -rw-r--r-- | pre-inst-env.in | 434 | logplain |
| d--------- | public | 80 | logplain |
| d--------- | scripts | 88 | logplain |
| d--------- | test-vectors | 1456 | logplain |
| d--------- | tests / eris | 31 | logplain |
 |
index : guile-eris.git | |
| Scheme implementation of ERIS | pukkamustard |
| aboutsummaryrefslogtreecommitdiff |