Fonts and Alignment is a Lua filter for styling fonts and aligning text in Pandoc-generated LaTeX documents. The filter defines a number of classes, that when specified, correspond to LaTeX commands, ...
Abstract: In this work, we examine decision table (DTA) classes that are closed in terms of decision modification (i.e., the sets of decisions) and attribute deletion (i.e., columns). We examine the ...
Lurti is a class library for Lua that, in conjunction with LSP type annotations, builds a type system similar to Python's at runtime, providing features such as meta classes, MRO support, abstract ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results