Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Causal, Higher-Order, Probabilistic Programming
Sigma is a probabilistic programming environment implemented in Julia
Julia wrapper for The Z3 Theorem Prover (SMT Solver)
Lens.jl is a simple Julia library to inspect the runtime behaviour of your programs, with minimal interference to the program itself.
Various finite representations of large or infinite sets and associated primitive functions
Seeing something unexpected? Take a look at the
GitHub profile guide.