mgttlinger / biblatex-lncsLinks
BiBLaTeX style for Springer Lecture Notes in Computer Science
☆18Updated 2 years ago
Alternatives and similar repositories for biblatex-lncs
Users that are interested in biblatex-lncs are comparing it to the libraries listed below
Sorting:
- A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)☆42Updated 2 weeks ago
- Spelling, grammar and style checking on LaTeX documents☆1,007Updated 4 months ago
- LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.☆252Updated 4 years ago
- Focus: a minimalist presentation theme for LaTeX Beamer.☆530Updated last year
- A Beamer colour theme that maximizes visibility in dark and unfavourable conditions☆296Updated 8 years ago
- Beamer template according to the FAU corporate style guide 2021☆38Updated last year
- Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.☆152Updated 6 years ago
- biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…☆558Updated 2 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆268Updated last week
- TUD-Script☆112Updated last year
- A true minimalistic LaTeX beamer template☆155Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 10 months ago
- A program for making zooming slides in figma.☆38Updated 2 months ago
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- ☆272Updated 3 weeks ago
- Template for a basic academic page☆11Updated last month
- The package lets the user mark things to do later, in a simple and and visually appealing way.☆183Updated last year
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆382Updated 7 months ago
- Corporate Design der TU Dresden – beamer style and old poster class☆51Updated 4 years ago
- A library of formal models in the jani-model format.☆12Updated 3 years ago
- Modular multi-screen pdf presentation viewer☆115Updated last month
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated 10 months ago
- A latex package to draw cute rubber ducks with TikZ☆183Updated 2 weeks ago
- KtikZ provides a nice user interface for making pictures using TikZ.☆379Updated last month
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆528Updated 3 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated last month
- Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables☆54Updated 11 months 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…☆10Updated 10 years ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,824Updated 4 months ago
- This repo is the new home of Proof General☆536Updated last week