An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
[ [HOMEPAGE](https://cicada-lang.org) | [PLAY](https://cicada-lang.org/playground) ]
Parsing Techniques -- A language for writing grammars and generating parsers.
cicada message
Welcome **\*^-^\*/**
> Syntax without representation is tyranny. > > -- Sussman's mantra
a teeny git-based continuous integration server
> I asked the boy beneath the pines. <br/> > He said, "The master's gone alone <br/> > Herb-picking, somewhere on the mount, <br/> > Cloud-hidden, **whereabouts unknown**." <br/> > -- [Jia Dao](https://en.wikipedia.org/wiki/Jia_Dao)
css color parsing, manupulation and conversion
An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.
An interpreter of [lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus).
JavaScript language support for the CodeMirror code editor
CSS language support for the CodeMirror code editor
JSON language support for the CodeMirror code editor
do not use this package
HTML language support for the CodeMirror code editor
remark plugin to make Markdown emphasis (`**`) in CommonMark (and MDX) more friendly with Chinese, Japanese, and Korean (CJK)
remark plugin to make Markdown strikethrough (`~~`) in GFM more friendly with Chinese, Japanese, and Korean (CJK)
Vue template support for the CodeMirror code editor
Markdown language support for the CodeMirror code editor
YAML language support for the CodeMirror code editor
Less support for the CodeMirror code editor
WebAssembly Text Format support for the CodeMirror code editor
Python language support for the CodeMirror code editor