GitHub topics: droppedtext-lang
seanpm2001/DroppedText-GitHub-Syntax-Highlighting
Syntax highlighting for the DroppedText language, inspired by https://github.com/agda/agda-github-syntax-highlighting
Language: Python - Size: 678 KB - Last synced at: 4 days ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 2
seanpm2001/DroppedText_Corpus
A text corpus collection for the DroppedText language.
Size: 2.14 MB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 2
seanpm2001/DroppedTextLang_VSCode
💦️🔠️🆚️ The official VSCode extension source repository for the DroppedText language.
Language: TypeScript - Size: 875 KB - Last synced at: 4 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
seanpm2001/SNU_2D_ProgrammingTools_IDE_DroppedText
The DroppedText language IDE submodule for SNU Programming Tools (2D Mode)
Language: HTML - Size: 942 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1
seanpm2001/Learn-DroppedText
A repository for showcasing my knowledge of the DroppedText language, and continuing to learn the language.
Language: HTML - Size: 907 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1