Repository Index

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

• markdown
• markup-language
• paper
• scripting-language

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.

• go
• golang
• type
• struct

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect