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

• angr: A binary analysis tool
• bap: A binary analysis platform

Games

• lugaru: A third-person action game

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