Cat's Eye Technologies

Fountain

Haskell 0 0

An attribute-grammar-like grammar formalism supporting both efficient parsing *and* efficient generation of context-sensitive languages

parser-generator context-sensitive-language grammar-formalism context-sensitive-grammar attribute-grammars attribute-grammar metalanguage

Updated 2024-04-18 21:04:36 +00:00

Chrysoberyl

Python 0 0

Cat's Eye Technologies' valiant attempt to catalogue and curate Cat's Eye Technologies

curation

Updated 2024-04-08 21:18:46 +00:00

Robin

Haskell 0 0

A Scheme-like language where both functions and macros are defined in terms of fexprs

experimental-language pure-functional event-driven fexprs vau-calculus the-elm-architecture scheme-like s-expressions referentially-transparent

Updated 2024-03-30 10:32:44 +00:00

Chainscape

Python 0 0

Exploring the algebraic properties of Markov Chains, for NaNoGenMo 2023

markov-chain abstract-algebra nanogenmo markov-chains algebraic-properties algebraic-operations

Updated 2024-03-28 16:35:23 +00:00

Eqthy

Python 1 1

A very simple human-readable computer-checkable language for equational proofs

proof-language proof-checking proof-checker equational-theory equational-logic

Updated 2024-03-28 13:03:16 +00:00

ellsync

Python 0 0

An opinionated poka-yoke for rsync

backup-tool backup-utility rsync-wrapper poka-yoke

Updated 2024-03-28 10:53:01 +00:00

Dipple

Python 0 0

Where code goes when its home planet has been destroyed. Virtually all in the public domain, with REUSE format licensing info.

public-domain reuse miscellaneous miscellaneous-scripts junk-drawer

Updated 2024-03-27 13:37:13 +00:00

yucca

Python 0 0

A dialect-agnostic static analyzer for 8-bit BASIC programs

static-analysis static-analyzer basic-programming-language code-smells

Updated 2024-03-27 13:34:42 +00:00

tree

Python 0 0

Display filesystem's directory structure as an indented tree

public-domain filesystem-visualization

Updated 2024-03-27 10:05:09 +00:00

Samovar

Python 0 0

Model worlds using propositions and run simulations in them

experimental-language dsl story-generation simulation-engine proposition production-system

Updated 2024-03-27 09:07:43 +00:00

SixtyPical

Python 0 0

A 6502-oriented low-level programming language supporting advanced static analysis

experimental-language 6502-assembly static-analysis low-level-programming flow-typing effect-system abstract-interpretation

Updated 2024-03-22 09:05:44 +00:00

Gemooy

JavaScript 0 0

A bagatelle of an esolang that combines 2-ill, Etcha, and self-modification

esolang esoteric-language esoteric-programming-language

Updated 2024-03-15 22:20:54 +00:00

Pail

Haskell 1 0

An esolang based on pairs (if LISP is LISt Processing then this is PAIr Language)

esolang functional-programming esoteric-programming-language esoteric-language

Updated 2024-03-09 21:23:00 +00:00

PL-GOTO.NET

Haskell 0 0

A CIL-targeting compiler for Brainerd and Landweber's PL-{GOTO}

compiler dotnet didactic primitive-recursive primitive-recursion toy-language ilasm cil-code-generation msil-compiler

Updated 2024-03-05 17:16:34 +00:00

Etcha

JavaScript 0 0

A BitChanger-like esolang where the tape head is a turtle

esolang esoteric-language esoteric-programming-language turtle-graphics

Updated 2024-03-05 17:03:16 +00:00

Members 1