About us
Cat's Eye Technologies is an independent esoteric programming language concern run by Chris Pressey.
Browse our:
- General Information
- Dossier of curational articles
- Languages (85)
- Language Implementations (23)
- List of Unfinished Interesting Esolangs (18)
- Automata (14)
- Gewgaws (35)
- Games (7)
- Tools (21)
- Platforms (2)
- Formats (2)
- Retrocomputing
- Electronics Projects (3)
- Musical Compositions (24)
- Pictures (30)
- Movies (5)
- Texts (18)
- Events (12)
- Archived (12)
[[
]]
![[Feed]](https://static.catseye.tc/images/icons/feedicon.gif)
Latest news
- Sat, 04 Mar 2023:
Some long-overdue updates to Burro.
Read more... - Wed, 01 Feb 2023:
Eqthy is a formalized language for proofs in equational logic.
Read more... - Fri, 27 Jan 2023:
relwrite is a tool for relating strings to strings.
Read more... - Thu, 26 Jan 2023:
Version 0.5 of Samovar has been released.
Read more... - Wed, 12 Oct 2022:
Lariat is a total ADT for proper lambda terms.
Read more... - Tue, 06 Sep 2022:
Philomath is an LCF-style theorem prover in ANSI C.
Read more... - Thu, 01 Sep 2022:
Feedmark 0.13 and Falderal 0.14 have been released.
Read more...
...
Also: