Brandon T. Willard

Generative Model Programming

Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.

Tools for a[e] PPL in Aesara.

An experimental HMC implementation in Aesara

An extensible, lightweight relational/logic programming DSL written in pure Python

An open source bus/transit customer information system (CIS) that offers users realtime arrival information via a desktop and mobile website, via SMS and via a "DIY Sign".

Loghyc - a miniKanren implementation in Hy

Open source Java library for on-line vehicle tracking, path estimation and parameter learning.

Logic Programming in Python

Hy on monaxhyd, a monad library for Hy

Research into rewrite-rule completion in miniKanren

Config and custom layers for Spacemacs.

Code from the book "Term Rewriting and All That"

Python implementations of the Horseshoe+ prior

An Emacs package that adds projectile-based Python virtual environment tracking to pyvenv, and more

Custom modifications for Python.

A microKanren implementation in Hy with constraints

No description.

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Numba compatible RVSDG (Regionalized Value State Dependence Graph) utilities.

A template for literate programming projects that produce LaTeX/Markdown documents using noweb/org-mode and evaluate Python/R code.

Pre-release development of high-level probabilistic programming interface for TensorFlow

The fundamental package for scientific computing with Python.

A conda-smithy repository for aehmc.

A website!

Custom Python project refactors

Personal vim settings and plugins

No description.

Airspeed Velocity: A simple Python benchmarking tool with web-based reporting

Custom org-mode exporters and settings

:cookie: A small, flexible, scriptable tiling window manager written in Python

An Emacs package providing a mode that makes projectile commands operate conditional on the current perspective

A conda-smithy repository for etuples.

Tensors and Dynamic neural networks in Python with strong GPU acceleration

A pure Python scannerless LR/GLR parser - http://www.igordejanovic.net/parglare/

Allows to check regexes for overlaps. Based on greenery by @qntm.

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

Python combination of Ray and Numba providing compiled distributed arrays, remote functions, and actors.

An Emacs framework for the stubborn martian hacker

No description.

The Aesara Project includes Aesara, AeHMC, AeMCMC, AePPL

Symbolic mathematics for Bayesian modeling in PyMC3 and Theano

An incremental parsing system for programming tools

Textual is a TUI (Text User Interface) framework for Python inspired by modern web development.

Formalize the representation of random variables and measures in Aesara

A dialect of Lisp that's embedded in Python

Straightforward unification in Python that's extensible via dispatch.

The most widely used Python to C compiler

No description.

No description.

Probabilistic Programming in Python. Uses Theano as a backend and includes the NUTS sampler.

A conda-smithy repository for pymc3-hmm.

No description.

A conda-smithy repository for aemcmc.

Fork of the python-language-server project, maintained by the Spyder IDE team and the community

Miscellaneous MCMC samplers in Aesara

Hidden Markov models in PyMC3

A computer algebra system written in pure Python

NumPy aware dynamic Python compiler using LLVM

A conda-smithy repository for aesara.

Improved emacs major-mode for LLVM IR source

A conda-smithy repository for minikanren.

A conda-smithy repository for logical-unification.

A conda-smithy repository for cons.

Python S-expression emulation in a tuple-like form

An implementation of Lisp/Scheme-like cons in Python

Scipy library main repository

A conda-smithy repository for aeppl.

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!

A lightweight LLVM python binding for writing JIT compilers

numba_scipy extends Numba to make it aware of SciPy

An implementation of the Language Server Protocol for Python

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

A conda-smithy repository for theano-pymc.

A distributed task scheduler for Dask

Parallel computing with task scheduling

Exploratory analysis of Bayesian models with Python

Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It can use GPUs and perform efficient symbolic differentiation.

PyMC Labs Website

Symbolic PyMC

coverage, just moreso

Bayesian Particle Learning models in R

Themes for Pelican

Collection of plugins for the Pelican static site generator

Hy mode for Emacs

Documentation:

No description.

matplotlib: plotting with Python

Paper submission for ICFP2020 miniKanren workshop

A pandoc markdown reader plugin for pelican - part of the official pelican plugin repo

Apache Airflow

Org-mode exporter for Jupyter Notebooks

Probabilistic reasoning and statistical analysis in TensorFlow

An Open Source Machine Learning Framework for Everyone

The configuration framework for Zsh

(heh-bee-go) An indentation-based skin for Hissp.

Minor mode for Emacs that deals with parens pairs and tries to be smart about it.

Multiple dispatch

miniKanren for search, SMT for solving

:id: A python library for accurate and scalable fuzzy matching, record deduplication and entity-resolution.

ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems

It's Python with a Lissp.

Solutions I have been working on to Rudin's Complex and Real Analysis

The Hy Transformer

Rust :heart: Emacs

Canonical miniKanren implementation

pelican-bibtex: Manage your academic publications page with Pelican and BibTeX

Source-to-Source Debuggable Derivatives in Pure Python

An interface to communicate with Jupyter kernels in Emacs.

GraphDef Editor: A port of the TensorFlow contrib.graph_editor package that operates over serialized graphs

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

Main repository for the Sphinx documentation builder

The J-Bob proof assistant from The Little Prover in Clojure

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Object oriented framework for multiple emacs modes based on indirect buffers

No description.

Org-Babel support for evaluating hylang code.

Calysto Hy, a Jupyter kernel for Hy using MetaKernel

A pandas-like deferred expression system, with first-class SQL support (Impala, PostgreSQL, SQLite, ...)

Project folder for integral / global-local mixtures paper

Docker image for automated Org file exports and LaTeX/PDF builds

zsh completion for conda

Set the system timezone based on IP geolocation

Pweave is a scientific report generator and a literate programming tool for Python. It can capture the results and plots from data analysis and works well with numpy, scipy and matplotlib.

Vim-fork focused on extensibility and usability

Vim plugin providing noweb features.

Automatic License Plate Recognition library

Helpfile generation for vim

SlimIt - a JavaScript minifier/parser in Python

building blocks for with-statement-related hackery

Work in progress draft and codes for Bayesian square-root Lasso

Python for street networks: retrieve, construct, analyze, and visualize street networks from OpenStreetMap.

neovim - jupyter kernels interaction (testing)

Send code to command line interpreter

Review paper for horseshoe prior and Lasso

Big data simulation of Chicago's public transportation to improve transit planning and reduce bus crowding

Custom extensions and helper functions for processing noweb files with Pweave and Pandoc.

Survey paper files

No description.

Tex All the Things: Chrome extension which typesets LaTeX in webpages using MathJax

No description.

History of OpenPlans so far, from ~2000 to 2014.

Function to transform theano graph <-> sympy graph.

Code for modeling AMI data

Core methods, models, and structures for the Open Energy Efficiency meter.

No description.

Shared ETL helpers

Datastore for Open Energy Efficiency Meter

IPython/Jupyter plugin for Neovim

Python package for calculating connected thermostat temperature/run-time field savings metrics

Example configurations and scripts for Qtile

Dynamic Documents for R

Introduction This library provides some special distributions and utilities that extend the statistics classes in Cognitive Foundry. Much of the code contains small components necessary for some bayesian models and MCMC.