joshrule

term-rewriting-rs

a Rust implementation of first-order term rewriting systems (TRS)

list_function_250

A benchmark set of functions over lists of natural numbers

TeRF

a TErm Rewriting Framework written in Python

program-induction

A library for program induction and learning representations.

formal-systems-learning-rs

Rust simulations using 2AFC triads to learn formal systems as typed first-order term rewriting systems

hmax

the HMAX vision model

list-routines-model-comparison

a comparison of program-induction-based models of human concept learning

joshrule.github.com

personal site

Model01-Firmware

Josh Rule's Keyboardio Model 01 Firmware sketch.

polytype-rs

A polymorphic typing system, Hindley-Milner

awesome-rust

A curated list of Rust code and resources.

BIG-bench

Beyond the Imitation Game collaborative benchmark for enormous language models

ChurIso

cogsci-template

college_of_computing_launch_poster

"Concept Learning as Program Learning" from MIT's College of Computing Launch, Poster Session 1

config

my configuration files

ec

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

hmax-c3

a c3 layer for the HMAX model

hmax-opencv

an OpenCV implementation of the HMAX model

hsp

Hierarchical Self-Play

Kaleidoscope

Firmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.

list-routine-learning-rs

Rust simulations using input/output examples to learn typed first-order term rewriting systems that perform list routines.

list-routines-human-experiments

Large-scale behavioral experiments studying human concept learning using list transformations

LOTlib

Python tools for Lanugage of Thought (LOT) models Please note that this is still under heavy development and debugging.

matlab-utils

an idiosyncratic collection of utilities for MATLAB

nixpkgs

Nix Packages collection

pychuriso

Python implementation of churiso

rustref

Rust documentation redirects

visual-concept-learning

computational models of visual concept learning