aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

📡 Simple and ready-to-use tutorials for TensorFlow

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Proving Ground: Tools for Automated Mathematics

An OCaml kernel for the IPython notebook

A Python implementation of "Functional Geometry" by Peter Henderson

Unofficial implementation of "Prompt-to-Prompt Image Editing with Cross Attention Control" with Stable Diffusion, the code is based on the offical StableDiffusion repository.

A graphical MLL+MIX theorem prover and proof net library