mgttlinger / biblatex-lncs
BiBLaTeX style for Springer Lecture Notes in Computer Science
☆17Updated last year
Related projects ⓘ
Alternatives and complementary repositories for biblatex-lncs
- Beamer template according to the FAU corporate style guide 2021☆36Updated 5 months ago
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆38Updated last month
- Clone of isabelle, with LSP extensions in seperate branches☆25Updated last week
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆26Updated this week
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- A program for making zooming slides in figma.☆29Updated 3 months ago
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆147Updated 5 years ago
- Learning Framework for Logic Calculi☆16Updated this week
- Latex Bewerbungsvorlage☆216Updated last month
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆19Updated 2 weeks ago
- The package lets the user mark things to do later, in a simple and and visually appealing way.☆180Updated 10 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆236Updated 2 months ago
- LaTeX package for automatically putting proof environments in appendix☆23Updated 9 months ago
- Backend processor for BibLaTeX☆339Updated 2 weeks ago
- A true minimalistic LaTeX beamer template☆146Updated 4 months ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- Automatically exported from code.google.com/p/exercisesheet☆11Updated 8 years ago
- A language server for TeX and friends☆264Updated 2 months ago
- Notes about research.☆8Updated 2 years ago
- acronyms for LaTeX☆41Updated 9 months ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆37Updated 3 months ago
- Dual-Screen PDF Viewer for latex-beamer☆220Updated last year
- GitHub Action to compile LaTeX documents☆177Updated last year
- A minimalist and modern Beamer theme☆291Updated 5 years ago
- Linter component for Isabelle.☆17Updated 4 months ago
- A comprehensive LaTeX template with examples for theses, books and more, employing the 'latest and greatest' (UTF8, glossaries, fonts, ..…☆224Updated 8 months ago
- ☆250Updated 2 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 7 months ago
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆235Updated 3 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago