Geoffrey Churchill's repositories
slither.neuro
Biological neural networks on slither.io! Chrome extension for running connectomes on slither.io.
BrainBase
Platform for running and interfacing with neural networks. The current configuration is a C Elegans roundworm connectome which asynchronously pings IP addresses generated from energy accumulations in the first 32 ventral/dorsal muscles. Positive responses to these pings trigger firing of the "food" neurons. This configuration is based on the work of Timothy Busbice (github.com/Connectome/GoPiGo) and Gabriel Garrett (github.com/ggaabe/GoPiGo).
anti_unify
Relational anti-unification for SWI-Prolog
Solutions-for-Logic-for-Computer-Science
Solutions for Logic for Computer Science: Foundations of Automatic Theorem Proving (2nd ed)
alda
Alda is an extension of DistAlgo to support logic rules.
BinaryDecisionTree
ID3 decision tree in Python with chi-squared pruning
FastGaussQuadrature.jl
Gauss quadrature nodes and weights in Julia.
GaussGas
Particle filter, but with noisy sampling
ModernGL.jl
OpenGL 3+ bindings for Julia
N-D-Grid-Localization
Extension of the 2-D localization hw from Georgia Tech's Udacity course: Artificial Intelligence for Robotics
tutorials
Just Announced - "Learn Spring Security OAuth":
unanimity
Consensus library and applications