clarissalittler/notes

Stars
1
Language
License
Creative Commons ...
Created about 9 years ago
Updated over 8 years ago

clarissalittler/notes

clarissalittler

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

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.

productive-while-mentally-ill

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

interactive-fiction

A repository for teaching about interactive fiction

cs311

The repository for my theory of computation course

pi-calculus

A little implementation of the pi calculus and some related languages

creating-languages

Supporting code for articles on creating your own language

wwh-october-2015

Repo for my slides for a talk I'm giving

dailytidal

repo for daily tidal files and such

talks

Repo for general talks I'm giving

tis-ish

TIS-100 inspired shenanigans

theory-of-computation

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

latex-zines

experimens in latex and zines

PoetryForms

poetry shape procgen project

piet-interpreters

Ruby, Python, and Haskell interpreters for the Piet language

turing-compiler

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

asmar-language

The repository for the asmar teaching language

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.

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.