Pinned Repositories
quantum-project
waste-prevention-by-internet-relay-food
elemental-magicks
Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!
presentations
AthleticonMedia
This contains resource files for my website
avram
Compilers-Class
This has some of my work from my compilers class.
Idris-dev
A Dependently Typed Functional Programming Language
overmind
This is a dependent type development which serves as a sandbox for experimenting with artificial intelligence.
Stochastic-Levin-Search-speed-prior-
This implements a version of universal search for programs that compute a particular prefix.
Raleigh-Foster's Repositories
Raleigh-Foster/AthleticonMedia
This contains resource files for my website
Raleigh-Foster/avram
Raleigh-Foster/Compilers-Class
This has some of my work from my compilers class.
Raleigh-Foster/Idris-dev
A Dependently Typed Functional Programming Language
Raleigh-Foster/overmind
This is a dependent type development which serves as a sandbox for experimenting with artificial intelligence.
Raleigh-Foster/Stochastic-Levin-Search-speed-prior-
This implements a version of universal search for programs that compute a particular prefix.