Alternatives and similar repositories for llncs-article-template

Users that are interested in llncs-article-template are comparing it to the libraries listed below

• samfcmc / ist-dissertation-latex-template
  Master dissertation template for IST
  ☆34Updated 10 years ago
• codacy / bitbucket-scala-client
  Simple Bitbucket Scala Client
  ☆10Updated 2 months ago
• rtfpessoa / sportsflix
  Watch the best sports stream in HD from the command line
  ☆12Updated 5 years ago
• typelevel / scalacheck
  Property-based testing for Scala
  ☆1,960Updated 2 weeks ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆391Updated 2 weeks ago
• fthomas / refined
  Refinement types for Scala
  ☆1,727Updated last week
• underscoreio / shapeless-guide
  The Type Astronaut's Guide to Shapeless
  ☆763Updated 6 years ago
• scalameta / scalafmt
  Code formatter for Scala
  ☆1,481Updated this week
• wartremover / wartremover
  Flexible Scala code linting tool
  ☆1,101Updated last week
• epfl-lara / ScalaZ3
  DSL in Scala for Constraint Solving with Z3 SMT Solver
  ☆127Updated 2 years ago
• scapegoat-scala / scapegoat
  Scala compiler plugin for static code analysis
  ☆550Updated this week
• typelevel / kind-projector
  Compiler plugin for making type lambdas (type projections) easier to write
  ☆926Updated 2 weeks ago
• typelevel / doobie
  Functional JDBC layer for Scala.
  ☆2,208Updated this week
• JetBrains / intellij-scala
  Scala plugin for IntelliJ IDEA
  ☆1,224Updated this week
• coursier / coursier
  Pure Scala Artifact Fetching
  ☆2,106Updated this week
• scalameta / metals
  Scala language server with rich IDE features 🚀
  ☆2,264Updated this week
• ekspek / ist-thesis
  Classe LaTeX para teses de mestrado do Instituto Superior Técnico
  ☆14Updated 5 years ago
• PAMunb / JimpleFramework
  A Rascal implementation of the Jimple framework.
  ☆13Updated 3 years ago
• sosy-lab / sv-comp
  Information to reproduce results from SV-COMP (MOVED, please follow the link)
  ☆15Updated 5 years ago
• optics-dev / Monocle
  Optics library for Scala
  ☆1,691Updated last week
• epfl-lara / leon
  The Leon system for verification, synthesis, repair
  ☆167Updated last year
• typelevel / squants
  The Scala API for Quantities, Units of Measure and Dimensional Analysis
  ☆930Updated 3 weeks ago
• scalacenter / scalafix
  Refactoring and linting tool for Scala
  ☆871Updated this week
• com-lihaoyi / fastparse
  Writing Fast Parsers Fast in Scala
  ☆1,130Updated 2 months ago
• oleg-py / better-monadic-for
  Desugaring scala `for` without implicit `withFilter`s
  ☆714Updated last year
• scalameta / scalameta
  Library to read, analyze, transform and generate Scala programs
  ☆1,151Updated this week
• scala-js / scala-js
  Scala.js, the Scala to JavaScript compiler
  ☆4,691Updated last week
• circe / circe
  Yet another JSON library for Scala
  ☆2,529Updated 2 weeks ago
• com-lihaoyi / Ammonite
  Scala Scripting
  ☆2,637Updated 3 weeks ago
• milessabin / shapeless
  Generic programming for Scala
  ☆3,402Updated this week