Pinned Repositories
.emacs.d
anti_unify
Relational anti-unification for SWI-Prolog
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).
CSE534_final_project_BGP
slither.neuro
Biological neural networks on slither.io! Chrome extension for running connectomes on slither.io.
Solutions-for-Logic-for-Computer-Science
Solutions for Logic for Computer Science: Foundations of Automatic Theorem Proving (2nd ed)
subsumes
Relational term subsumption for SWI-Prolog
GeoffChurch's Repositories
GeoffChurch/slither.neuro
Biological neural networks on slither.io! Chrome extension for running connectomes on slither.io.
GeoffChurch/anti_unify
Relational anti-unification for SWI-Prolog
GeoffChurch/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).
GeoffChurch/CSE534_final_project_BGP
GeoffChurch/Solutions-for-Logic-for-Computer-Science
Solutions for Logic for Computer Science: Foundations of Automatic Theorem Proving (2nd ed)
GeoffChurch/subsumes
Relational term subsumption for SWI-Prolog
GeoffChurch/.emacs.d
GeoffChurch/99-Problems-in-Prolog
GeoffChurch/BinaryDecisionTree
ID3 decision tree in Python with chi-squared pruning
GeoffChurch/FastGaussQuadrature.jl
Gauss quadrature nodes and weights in Julia.
GeoffChurch/GaussGas
Particle filter, but with noisy sampling
GeoffChurch/ModernGL.jl
OpenGL 3+ bindings for Julia
GeoffChurch/N-D-Grid-Localization
Extension of the 2-D localization hw from Georgia Tech's Udacity course: Artificial Intelligence for Robotics
GeoffChurch/raspberry-pi-alarm-clock
GeoffChurch/TASstats
GeoffChurch/TPG_Interpreter
GeoffChurch/tutorials
Just Announced - "Learn Spring Security OAuth":
GeoffChurch/unanimity
Consensus library and applications
GeoffChurch/vs-code-settings