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:
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- Simple Bitbucket Scala Client☆10Updated 3 weeks ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- DICOM implementation written in Swift☆15Updated 2 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- FP101x - Functional Programming MOOC 2015 Content Repository☆517Updated 9 years ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated last week
- Collection of Verification Tasks (MOVED, please follow the link)☆183Updated 3 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆125Updated 2 years ago
- Personal haskell programs☆48Updated 8 years ago
- Code to reproduce tables and figures from Leibig et al. 2022: Combining the strengths of radiologists and AI for breast cancer screening:…☆7Updated 3 years ago
- The Ultimate program analysis framework.☆222Updated this week
- The Leon system for verification, synthesis, repair☆163Updated last year
- GAPT: General Architecture for Proof Theory☆100Updated this week
- TurnKey artifact for Z3☆38Updated this week
- Inconsistent Code Detection for Java☆11Updated 4 years ago
- Randomized Property-Based Testing Plugin for Coq☆266Updated 2 weeks ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- This repo is the new home of Proof General☆525Updated this week
- Verification framework and tool for higher-order Scala programs☆380Updated 3 weeks ago
- Introduction to haskell☆57Updated 9 years ago
- Linter component for Isabelle.☆19Updated 2 months ago
- Haskell IDE plugin for Atom editor☆231Updated 4 years ago
- Resources for the online Type Theory Study Group☆162Updated 7 years ago
- A dk.brics FSM to regular-expression-string converter☆10Updated last week
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆907Updated 5 years ago
- ☆12Updated 5 months ago
- Hanfor helps analyzing and formalizing requirements.☆8Updated 2 weeks ago
- Submission for MICCAI HACKATHON: https://miccai-hackathon.com/#participate☆14Updated 2 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago