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-more

That'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.