geoffchurch Goto Github PK

.emacs.d

99-problems-in-prolog

alda

Alda is an extension of DistAlgo to support logic rules.

anti_unify

Relational anti-unification for SWI-Prolog

binarydecisiontree

ID3 decision tree in Python with chi-squared pruning

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

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

perfunctory_types

raspberry-pi-alarm-clock

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

tasstats

tpg_interpreter

tutorials

Just Announced - "Learn Spring Security OAuth":

unanimity

Consensus library and applications

vs-code-settings