Alternatives and similar repositories for biblatex-lncs

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

• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 6 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated this week
• DeOldSax / iliasDownloaderTool
  synchronize, manage and download the files from your e-learning platform https://www.ilias.de/
  ☆49Updated 2 years ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆35Updated 4 years ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆261Updated 2 months ago
• ahartmanns / jani-models
  A library of formal models in the jani-model format.
  ☆12Updated 2 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆82Updated last week
• SvenHarder / xcookybooky
  A LaTeX package for typesetting (potentially long) recipes.
  ☆38Updated 3 years 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)
  ☆41Updated last week
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• marhop / pandoc-unicode-math
  Replace Unicode symbols by equivalent Latex commands
  ☆28Updated last year
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 7 months ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆42Updated 2 years ago
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆34Updated last month
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆93Updated this week
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆20Updated this week
• monperrus / ExpandAnimations
  LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
  ☆245Updated 3 years ago
• imitator-model-checker / imitator
  IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…
  ☆28Updated this week
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• torik42 / YaLafi
  Yet another LaTeX filter
  ☆68Updated last year
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆40Updated this week
• kmein / gesetze
  German laws from https://www.gesetze-im-internet.de/ in plain text format (updated daily)
  ☆35Updated last month
• cebe / pdfpc-latex-notes
  Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
  ☆151Updated 5 years ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆117Updated last month
• christophstockhusen / exercisesheet
  Automatically exported from code.google.com/p/exercisesheet
  ☆11Updated 9 years ago
• iblech / sshlatex
  A collection of hacks to efficiently run LaTeX via ssh
  ☆40Updated 2 years ago
• KITPraktomatTeam / Praktomat
  quality control for programming assignments
  ☆46Updated last year
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• UBA-PSI / psi-thesis-guide
  Guidelines for creating a high-quality scientific thesis with tips and examples for layout, figures, and tables
  ☆53Updated 7 months ago