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
- capstone: A disassembler framework with a lot of supported architectures
- z3: A constraint solver
- angr: A binary analysis tool
- radare2: A disassembler and analysis tool
- bap: A binary analysis platform
Games
- lugaru: A third-person action game
Video
- aegisub: A subtitle editor
Image
- gpick: A color picker
Java
- josm: An openstreetmap editor
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.