Popular repositories Loading

1. Stochastic-Levin-Search-speed-prior- Stochastic-Levin-Search-speed-prior- Public

   This implements a version of universal search for programs that compute a particular prefix.

2. Compilers-Class Compilers-Class Public

   This has some of my work from my compilers class.

   Haskell

3. overmind overmind Public

   This is a dependent type development which serves as a sandbox for experimenting with artificial intelligence.

   Idris

4. avram avram Public

   Idris

5. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell

6. AthleticonMedia AthleticonMedia Public

   This contains resource files for my website

   CSS