More packages for the Guix package manager! This repository contains recipes for packages that I am working on. They will eventually be sent upstream. When this is the case, they will vanish from this repo.
How to use these packages?
export GUIX_PACKAGE_PATH=$HOME/guix-moreThat's it!
What is in there?
Binary analysis software
- angr: A binary analysis tool
- bap: A binary analysis platform
Education
- morji: A spaced-repetition program
Video
- aegisub: A subtitle editor
Java
- josm: An openstreetmap editor
- fop: A print formatter driven by XSL formatting objects
Non-free
- compcert: A certified C compiler
Current work
Using skia with icecat
Currently working on this. I have skia, but it requires some tricks to actually have icecat build with it.
Adding gradle and groovy
Gradle is partially written in groovy, which itself is partially written in groovy. I currently am working on some dependencies, but I don't have a clear plan for groovy.
OCaml and Coq packages
The more the better. They are being integrated.
TODO
Eiffel studio -> eiffel -> AutoProof and Eve -> boogie.
alt-ergo, CVC4