Cat's Eye Technologies

Falderal Public
Markdown-embedded literate testing for programming languages

Python 5 0 2 0 Updated Jul 30, 2022
Feedmark Public
Structured Markdown for curation and newsfeeds

Python 0 MIT 0 0 0 Updated Jul 29, 2022
Etog Public
The equational theory of groups, LCF-style, in Simple Haskell.

Haskell 0 0 0 0 Updated Jul 24, 2022
Eqthy Public
[WIP] A simple language for equational proofs

Python 0 0 0 0 Updated Jul 19, 2022
The-Dossier Public
Curational counterpart to Chrysoberyl, containing long-form writings

Python 3 0 0 0 Updated Jul 10, 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

Pinned