cayatex
Markup language
An experimental markup language that compiles to LaTeX, Html, and PDF, with a simple and uniform syntax.
Experimental markup language
4 stars
4 watching
0 forks
Language: Elm
last commit: over 4 years ago
Linked from 1 awesome list
hayleigh-dot-dev/awesome-elm-pltdRelated projects:
| Repository | Description | Stars |
|---|---|---|
| jxxcarlson/l1 | A language demo project showcasing fault-tolerant parsing techniques for a simple language with a Lisp-like syntax. | 0 |
 ozanmakes/markup.rocks | A browser-based document editor and converter that supports various markup languages using Haskell and Reflex-FRP | 382 |
| jxxcarlson/elm-lisp | An experiment in building a typed Lisp compiler and evaluator in Elm. | 5 |
 arielnetworks/cl-markup | A markup generation library for Common Lisp | 65 |
 mnsignalprocessing/barelyml | A markup language that combines elements from Markdown and DokuWiki to display text with formatting and structure | 16 |
 zsiciarz/django-markitup | Provides markup handling for Django applications | 47 |
 jgm/texmath | A Haskell library for converting between various markup formats used to represent mathematics. | 327 |
 yogthos/markdown-clj | A Clojure library that parses Markdown text and generates HTML output | 547 |
 jfcere/ngx-markdown | An Angular library to parse markdown content and render HTML with syntax highlighting and other features. | 1,070 |
 adambard/learnxinyminutes-docs | A tutorial series documenting popular programming languages in a simple, comment-coded format | 11,565 |
 agusmakmun/django-markdown-editor | Provides a rich-text editing experience with support for live preview, image uploads, and mention features in a Django application. | 829 |
 daskol/typstd | A language server implementation for a markup language that provides workspace management and completion capabilities | 1 |
 aantron/markup.ml | A streaming HTML5 and XML parser that detects character encodings, emits signals, and provides error recovery. | 146 |
 neutronx/django-markdownx | A Markdown editor plugin for Django web applications with features like live preview, image editing and customization. | 863 |