joeyginorio

MarkovDecisionProcess

An MDP base class with some included examples to run and solve optimal planning problems.

gen_tm

term generator for simply typed lambda calculus, combinatory logic.

cajal

Explanation

Use counterfactuals to build an explanation of events.

ObjectOrientedMDP

An implementation of an object oriented mdp (Diuk et al., 2008)

RiskInference

A bayesian inference model for inferring risk from observations of a gambler's actions participating in the game Gambler's Ruin.

compositional_desires

Inverse planning over a generative grammar of desires.

learning_sysf

makeyourownneuralnetwork

Code for the Make Your Own Neural Network book

myth

Type-and-example-driven program synthesis for functional programming languages

NeuralNetwork

A neural network library, with training, query, and backquery functionality.

WhenTeachingBreaksDown

Code for "When teaching breaks down...", containing the model and how-to for testing with the model.