Mon Sep 03 11:10:48+0200 2018
154537e
Update README.md
README.md
| 18 | 18 | ------------------------ | |
| 19 | 19 | ||
| 20 | 20 | * _angr_: A binary analysis tool | |
| 21 | - | * _bap_: A binary analysis platform | |
| 22 | 21 | ||
| 23 | 22 | Education | |
| 24 | 23 | --------- | |
| 25 | 24 | ||
| 26 | 25 | * _morji_: A spaced-repetition program | |
| 27 | 26 | ||
| 28 | - | Video | |
| 29 | - | ----- | |
| 30 | - | ||
| 31 | - | * _aegisub_: A subtitle editor | |
| 32 | - | ||
| 33 | 27 | Java | |
| 34 | 28 | ---- | |
| 35 | 29 | ||
| 36 | - | * _josm_: An openstreetmap editor | |
| 37 | 30 | * _fop_: A print formatter driven by XSL formatting objects | |
| 38 | 31 | ||
| 32 | + | Openstreetmap | |
| 33 | + | ------------- | |
| 34 | + | ||
| 35 | + | * _josm_: An openstreetmap editor | |
| 36 | + | * _imposm_: A script to import data from OSM to a postgis database | |
| 37 | + | * _tegola_: A program to produce vector tiles from a postgis database | |
| 38 | + | ||
| 39 | 39 | Non-free | |
| 40 | 40 | -------- | |
| 41 | 41 | ||
… | |||
| 50 | 50 | Currently working on this. I have skia, but it requires some tricks to actually | |
| 51 | 51 | have icecat build with it. | |
| 52 | 52 | ||
| 53 | - | Adding gradle and groovy | |
| 54 | - | ------------------------ | |
| 53 | + | Adding gradle and scala/sbt | |
| 54 | + | --------------------------- | |
| 55 | + | ||
| 56 | + | Gradle is a build system used mostly by android applications. I have packages | |
| 57 | + | for 2/3 of gradle, but that's not enough. I'm currently blocked at a gradle | |
| 58 | + | subproject that requires scala and sbt. Scala is written in scala, so it's hard | |
| 59 | + | to bootstrap. I've packaged a binary version for now and building sbt (another | |
| 60 | + | dependency) is my next target. | |
| 61 | + | ||
| 62 | + | Adding a maven-build-system | |
| 63 | + | --------------------------- | |
| 55 | 64 | ||
| 56 | - | Gradle is partially written in groovy, which itself is partially written in | |
| 57 | - | groovy. I currently am working on some dependencies, but I don't have a clear | |
| 58 | - | plan for groovy. | |
| 65 | + | Although the maven package is now in Guix proper, we do not have a maven-build-system | |
| 66 | + | yet. Such a build system requires maven and some plugins. I'm planning to build | |
| 67 | + | these plugins. They require a lot of new dependencies for which we can't use | |
| 68 | + | the maven-build-system either... Such a pain :/ | |
| 59 | 69 | ||
| 60 | 70 | OCaml and Coq packages | |
| 61 | 71 | ---------------------- | |