• Stars
    star
    2
  • Language
  • Created over 3 years ago
  • Updated over 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

repo for daily tidal files and such

More Repositories

1

productive-while-mentally-ill

Repo for a short book on dealing with chronic mental illness while still trying to Get Things Done
8
star
2

interactive-fiction

A repository for teaching about interactive fiction
HTML
8
star
3

cs311

The repository for my theory of computation course
TeX
5
star
4

pi-calculus

A little implementation of the pi calculus and some related languages
Haskell
4
star
5

creating-languages

Supporting code for articles on creating your own language
Python
2
star
6

wwh-october-2015

Repo for my slides for a talk I'm giving
2
star
7

talks

Repo for general talks I'm giving
TeX
1
star
8

tis-ish

TIS-100 inspired shenanigans
Haskell
1
star
9

theory-of-computation

A repo of extra code and odds and ends for the undergraduate theory of computation course in case anyone is interested
Agda
1
star
10

latex-zines

experimens in latex and zines
TeX
1
star
11

PoetryForms

poetry shape procgen project
Common Lisp
1
star
12

piet-interpreters

Ruby, Python, and Haskell interpreters for the Piet language
Haskell
1
star
13

turing-compiler

Compiler from a simple imperative language to a Turing machine. An example for teaching next term.
Haskell
1
star
14

asmar-language

The repository for the asmar teaching language
Haskell
1
star
15

2tt

This is for an attempt to formalize in Agda a simple higher-dimensional type theory in the form seen in http://www.cs.bham.ac.uk/~mhe/TT-perhaps-eating-itself/TT-perhaps-eating-itself.html, starting with the 2TT theory of Licata & Harper since it's a simplified type theory that already uses explicit substitutions.
Agda
1
star
16

evolvingzippers

This is the repo corresponding to the little project idea I had here: http://inconsistentuniverse.wordpress.com/2014/02/07/genetic-programming-and-derivatives/ Basically, this'll be an explanation of how you can use genetic programming with zippers for crossover, using the operation of derivatives on a datatype.
Agda
1
star
17

notes

This is where I'll keep my public facing notes on various topics. I have some notes on ordinals in logic, on ludics/transcendental syntax, and on categorical logic that I should clean up and keep in here. If I can find my draft of a short book on basic category theory, I'll include that too.
1
star