bacam/AntennaPod
A podcast manager for Android
Developer Profile
bacam
Discovered public repositories for bacam in the GitHub catalog.
bacam/handlers-in-ott
Effect handlers in Ott
bacam/coqjvm
Coq executable semantics and resource verifier
bacam/piperlog
Log summary generator
bacam/logmerge
Merge log entries in order from several files
bacam/setupenv
Set up environment variables for an application installed in an arbitrary directory