ReverseFlow is a python library for parametrically inverting a tensorflow program
Sigma.jl is a probabilistic programming language implemented in Julia.
AbstractDomains.jl is a Julia package for abstract interpretation.
Lens.jl is a simple Julia package to dynamically inspect and extract values deep within your program, with minimal interference to the program itself.
mdlatex is a template to make it easier to write papers.