Cat's Eye Technologies

Philomath Public
An LCF-style theorem prover written in C89 (a.k.a ANSI C)

C 2 0 0 0 Updated May 18, 2022
HTML5-Gewgaws Public
A collection of digital gewgaws written in Javascript and HTML5

JavaScript 1 Unlicense 1 0 0 Updated May 14, 2022
Chrysoberyl Public
An attempt to catalogue and curate Cat's Eye Technologies

Python 10 2 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
The-Cannery Public
Common Docker image building zone for Cat's Eye Technologies' distributions

Shell 0 0 0 0 Updated May 6, 2022
Rux-Rolli Public
An experimental React-based framework for esolangs and other computational animations

TypeScript 0 0 0 0 Updated May 1, 2022
SixtyPical Public
A 6502-oriented low-level programming language supporting advanced static analysis

Python 25 3 0 0 Updated Apr 29, 2022
DAM Public
You've tried the Document Object Model, now try the Document *Awesome* Model!

JavaScript 1 Unlicense 0 0 0 Updated Apr 23, 2022
Bubble-Escape Public
A maze-exploration minigame (2K) for the Commodore 64

Assembly 3 BSD-3-Clause 0 1 0 Updated Apr 2, 2022

Pinned