samfcmc / llncs-article-templateLinks
Latex template for articles that use LLNCS document class from Springer
☆10Updated 9 years ago
Alternatives and similar repositories for llncs-article-template
Users that are interested in llncs-article-template are comparing it to the libraries listed below
Sorting:
- Master dissertation template for IST☆34Updated 9 years ago
- Classe LaTeX para teses de mestrado do Instituto Superior Técnico☆14Updated 4 years ago
- Simple Bitbucket Scala Client☆10Updated 2 months ago
- Watch the best sports stream in HD from the command line☆12Updated 5 years ago
- DICOM implementation written in Swift☆15Updated 2 years ago
- FP101x - Functional Programming MOOC 2015 Content Repository☆517Updated 9 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- Property-based testing for Scala☆1,951Updated last week
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- an X-ray image dataset for prohibited item segmentation☆10Updated 4 years ago
- In this book, you will find a collection of information that explain how to get started in the free and open source community.☆33Updated last year
- The Leon system for verification, synthesis, repair☆164Updated last year
- Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.☆3,669Updated 6 months ago
- Verification framework and tool for higher-order Scala programs☆384Updated 2 months ago
- Haskell IDE plugin for Atom editor☆231Updated 4 years ago
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆908Updated 5 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.☆573Updated 2 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆126Updated 2 years ago
- ☆325Updated 4 years ago
- ☆19Updated 2 years ago
- Functional JDBC layer for Scala.☆2,197Updated last week
- Personal haskell programs☆48Updated 8 years ago
- IntelliJ plugin for Haskell☆1,319Updated last year
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,063Updated 2 months ago
- A style guide for Haskell code.☆964Updated 3 years ago
- Scala.js, the Scala to JavaScript compiler☆4,661Updated this week
- Generic programming for Scala☆3,400Updated last week
- Refinement types for Scala☆1,724Updated last week
- ☆19Updated last year