Alternatives and similar repositories for biblatex-lncs

Users that are interested in biblatex-lncs are comparing it to the libraries listed below

• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆41Updated 5 months ago
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆42Updated last week
• kai-tub / latex-beamer-pure-minimalistic
  A true minimalistic LaTeX beamer template
  ☆155Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆279Updated 3 months ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated 4 months ago
• pcafrica / focus-beamertheme
  Focus: a minimalist presentation theme for LaTeX Beamer.
  ☆536Updated last year
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆29Updated 2 months ago
• FAU-AMMN / fau-beamer
  Beamer template according to the FAU corporate style guide 2021
  ☆41Updated last month
• alexeygumirov / pandoc-beamer-how-to
  ☆275Updated 2 weeks ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• rchurchley / beamercolortheme-owl
  A Beamer colour theme that maximizes visibility in dark and unfavourable conditions
  ☆296Updated 8 years ago
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆53Updated this week
• sylvainhalle / textidote
  Spelling, grammar and style checking on LaTeX documents
  ☆1,019Updated 6 months ago
• jolars / moloch
  Functional and minimalist Beamer theme for LaTeX presentations
  ☆183Updated last week
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆188Updated last week
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆14Updated 3 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated last year
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated last week
• remimorvan / knowledge-clustering
  Clustering notions for the knowledge LaTeX package
  ☆19Updated 2 months ago
• astoeckel / smart-thesis
  Memoir-based LaTeX theme inspired by Classic Thesis
  ☆36Updated 4 years ago
• islandoftex / arara
  arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror reposit…
  ☆413Updated last week
• hamaluik / Beamer-Theme-Execushares
  A minimalist and modern Beamer theme
  ☆297Updated 6 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• monperrus / ExpandAnimations
  LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
  ☆260Updated 4 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 6 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆127Updated last month
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆48Updated this week