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
- LaTeX MSc and PhD Thesis Template - Instituto Superior Técnico☆26Updated last year
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆124Updated 2 years ago
- Translate java jar files into Boogie programs☆12Updated last year
- The Leon system for verification, synthesis, repair☆163Updated last year
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- Simple Bitbucket Scala Client☆10Updated 7 months ago
- ☆11Updated 7 years ago
- Haskell IDE plugin for Atom editor☆231Updated 4 years ago
- FP101x - Functional Programming MOOC 2015 Content Repository☆517Updated 9 years ago
- Notes and files from HaskellerZ meetups.☆213Updated 5 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 2 years ago
- Verification framework and tool for higher-order Scala programs☆375Updated 3 weeks ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Updated 4 years ago
- Resources for the online Type Theory Study Group☆161Updated 7 years ago
- Solver for higher-order functional programs, used by Stainless☆91Updated last month
- GAPT: General Architecture for Proof Theory☆100Updated this week
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 2 years ago
- Implicit metaprogramming tutorial for Scala☆14Updated 10 years ago
- Type safe interface for working in subcategories of Hask☆419Updated 6 years ago
- Personal haskell programs☆48Updated 8 years ago
- Interactive theorem proving with Coq in vim.☆185Updated 4 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
- Doing research on top of Jalangi☆12Updated 8 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated 2 months ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Updated last year
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Randomized Property-Based Testing Plugin for Coq☆264Updated this week
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 3 years ago