clarissalittler/pi-calculus

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
MIT License
Created almost 9 years ago
Updated over 8 years ago

clarissalittler/pi-calculus

clarissalittler

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

A little implementation of the pi calculus and some related languages

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

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.

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.