Clarissa Littler (@clarissalittler)
github

clarissalittler

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    45
  • Global Rank 367,370 (Top 13 %)
  • Followers 26
  • Following 4
  • Registered over 10 years ago
  • Most used languages
    Haskell
         35.7 %
    TeX
         21.4 %
    Agda     21.4 %
    Python
         7.1 %
    HTML
         7.1 %
    Common Lisp
         7.1 %

Top 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

dailytidal

repo for daily tidal files and such
2
star
8

talks

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

tis-ish

TIS-100 inspired shenanigans
Haskell
1
star
10

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
11

latex-zines

experimens in latex and zines
TeX
1
star
12

PoetryForms

poetry shape procgen project
Common Lisp
1
star
13

piet-interpreters

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

turing-compiler

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

asmar-language

The repository for the asmar teaching language
Haskell
1
star
16

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
17

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
18

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