Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

A library for discrete-time Markov chains analysis.

D2 is a modern diagram scripting language that turns text to diagrams.

Lean theorem proving interface which feels like pen-and-paper proofs.

LLMs as Copilots for Theorem Proving in Lean

Solve puzzles. Learn CUDA.

Make local files accessible to ChatGPT

Tools for processing 2P recordings

Repository for BehaviorDEPOT pipeline app files and source code

The reactive UI library for interactive data applications with pure Julia.

cell detection in calcium imaging recordings

Python GUIs for Humans! PySimpleGUI is the top-rated Python application development environment. Launched in 2018 and actively developed, maintained, and supported in 2024. Transforms tkinter, Qt, …

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

A WebGPU-accelerated ONNX inference run-time written 100% in Rust, ready for native and the web

Python Integrated Miniscope Pipeline Notebook

Flexible and efficient persistent homology computation.

Nonnegative Matrix Factorization + k-means clustering and physics constraints for Unsupervised and Physics-Informed Machine Learning

Free, platform independent, behavior tracking software.

Simple Mouse Tracker

Uplift modeling and causal inference with machine learning algorithms

❓y0 (pronounced "why not?") is for causal inference in Python

Nonlinear Dynamics: A concise introduction interlaced with code

A workshop on writing good scientific/research code: reproducible, re-traceable, readable, extendable, and well-documented.

Causal.jl - A modeling and simulation framework adopting causal modeling approach.

Towards Generalized and Efficient Blackbox Optimization System/Package (KDD 2021 & JMLR 2024)