# Projects

# Sigma

Sigma.jl is a probabilistic programming language implemented in Julia.

# Ouroborus

Ouroborus.jl is a reinforcement learning algorithm which learns to learn.

# Software Tools

## DReal.jl

DReal.jl is a Julia interface to the dreal nonlinear SMT solver.

## Z3.jl

Z3.jl is a Julia interface to the Z3 theorem prover.

## AbstractDomains

AbstractDomains.jl is a Julia package for abstract interpretation.

## Lens

Lens.jl is a simple Julia package to dynamically inspect and extract values deep within your program, with minimal interference to the program itself.

# Misc

# mdlatex

mdlatex is a template to make it easier to write papers.