Geoffrey Churchill (@GeoffChurch)
github

GeoffChurch

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 968,258 (Top 34 %)
  • Followers 13
  • Following 34
  • Registered over 9 years ago
  • Most used languages
    Prolog
         42.9 %
    Python
         28.6 %
    TeX
         14.3 %
    JavaScript
         14.3 %

Top repositories

1

slither.neuro

Biological neural networks on slither.io! Chrome extension for running connectomes on slither.io.
JavaScript
3
star
2

perfunctory_types

Prolog
2
star
3

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).
Python
2
star
4

CSE534_final_project_BGP

Python
1
star
5

subsumes

Relational term subsumption for SWI-Prolog
Prolog
1
star
6

Solutions-for-Logic-for-Computer-Science

Solutions for Logic for Computer Science: Foundations of Automatic Theorem Proving (2nd ed)
TeX
1
star
7

anti_unify

Relational anti-unification for SWI-Prolog
Prolog
1
star