Repository Index

A tool set for CSS including fast detailed parser, walker, generator and lexer based on W3C specs and browser implementations

• css-parser
• ast
• css
• fast

Yew wrapper around daisy components

• yew
• yew-framework
• rust
• webassembly

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

Tailwind classes for Djula templates

• common-lisp
• djula
• lisp
• tailwindcss