McEarl

FAU Erlangen-NürnbergErlangen, Germany

Pinned Repositories

bibs
The joint bibliographies of the KWARC group. Automatically built by travis.
Language:TeX6 8 212
FLex
A generic ForTheL lexer
Language:Haskell00
forthel-syntax
Complete reference of the syntax of ForTheL
Language:Shell3 1 00
language-forthel
Syntax highlighting for ForTheL and LaTeX in Pulsar
Language:Less1 1 00
naproche
Write formal proofs in natural language and Latex.
Language:Haskell00
nbnf-tools
Converting BNF grammars embedded in Markdown to HTML and XML
Language:Haskell0 1 00
semantic-philosophy-archive
A collection of semantically annotated philosophical writings
Language:TeX0 1 00
FLib
A library of (checked) mathematical texts
Language:FreeMarker9 7 03
naproche
Write formal proofs in natural language and LaTeX.
Language:Haskell32 9 67

McEarl's Repositories

McEarl/forthel-syntax
Complete reference of the syntax of ForTheL
Language:Shell3 1 00
McEarl/language-forthel
Syntax highlighting for ForTheL and LaTeX in Pulsar
Language:Less1 1 00
McEarl/FLex
A generic ForTheL lexer
Language:Haskell00
McEarl/naproche
Write formal proofs in natural language and Latex.
Language:Haskell00
McEarl/nbnf-tools
Converting BNF grammars embedded in Markdown to HTML and XML
Language:Haskell0 1 00
McEarl/semantic-philosophy-archive
A collection of semantically annotated philosophical writings
Language:TeX0 1 00