Cat's Eye Technologies

Keeping Computation Interesting

Pinned

Chrysoberyl Public

An attempt to catalogue and curate Cat's Eye Technologies

Python 10 2
Befunge-93 Public

The NEW reference distribution for Befunge-93!

C 86 8
Funge-98 Public

The Funge-98 specification in all its gory

26 2
Maze-Clouds Public

Simple generative technique that produces cloudy, mazy forms

Python 2
Vinegar Public

A semi-concatenative language where every operation can fail

Python 2
Lariat Public

An abstract data type for lambda terms

Haskell 2

Etog Public
The equational theory of groups, LCF-style, in Simple Haskell.

Haskell 0 0 0 0 Updated Jun 17, 2022
Chrysoberyl Public
An attempt to catalogue and curate Cat's Eye Technologies

Python 10 2 0 0 Updated Jun 8, 2022
Maxixe Public
A simple proof checker

Python 4 Unlicense 0 0 0 Updated Jun 6, 2022
Philomath Public
An LCF-style theorem prover written in C89 (a.k.a ANSI C)

C 3 Unlicense 0 0 0 Updated Jun 5, 2022
Erratic-Turtle-Graphics Public
So the turtle's not perfect. Well, who is?

JavaScript 2 Unlicense 0 0 0 Updated May 30, 2022
Maze-Clouds Public
Simple generative technique that produces cloudy, mazy forms

Python 2 Unlicense 0 0 0 Updated May 24, 2022
Latcarf Public
Experiment in generating a recursive fractal from the bottom up

JavaScript 2 Unlicense 0 0 0 Updated May 24, 2022
HTML5-Gewgaws Public
A collection of digital gewgaws written in Javascript and HTML5

JavaScript 1 Unlicense 1 0 0 Updated May 14, 2022
Lariat Public
An abstract data type for lambda terms

Haskell 2 0 0 0 Updated May 13, 2022
Kolakoski-Kurve Public
A 2-dimensional depiction of the self-describing Kolakoski sequence

JavaScript 1 MIT 0 0 0 Updated May 7, 2022