bennn
Follow
Starred repositories
22
stars
written in TeX
Clear filter
Examples of how to create colorful, annotated equations in Latex using Tikz.
Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors
Research on integrating datalog & lambda calculus via monotonicity types
A LaTeX MLA style formatter package that allows users to create MLA style documents easily.
Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
A fancy thesis defence invitation in XeLaTeX
LaTeX Styles provided by Dagstuhl Publishing
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++…
Scheme syntax highlighting for the LaTeX listings package.
An example package for submissions to JuliaCon
Scribble wrapper for the classicthesis LaTeX style
A website containing a bibliography for non-well-founded and cyclic proof theory
Security proofs written to be machine checkable.
Biblatex styles for the acmart ACM latex package