samfcmc / llncs-article-template
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
- Master dissertation template for IST☆34Updated 9 years ago
- LaTeX MSc and PhD Thesis Template - Instituto Superior Técnico☆26Updated last year
- The Leon system for verification, synthesis, repair☆161Updated last year
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- Verification framework and tool for higher-order Scala programs☆370Updated 2 weeks ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated 3 years ago
- Solver for higher-order functional programs, used by Stainless☆90Updated last week
- GAPT: General Architecture for Proof Theory☆98Updated 3 weeks ago
- Extensible algebraic effects with handlers☆145Updated 2 weeks ago
- Simple Bitbucket Scala Client☆10Updated 5 months ago
- A functional GraphQL implementation for Scala. https://valdemargr.github.io/gql/☆14Updated last week
- Haskell IDE plugin for Atom editor☆231Updated 3 years ago
- Scala library for parsing and printing the SMT-LIB format☆44Updated 2 years ago
- The Haskell LaTeX library.☆199Updated last year
- Haskell Stack support for Heroku☆230Updated 8 months ago
- How to set up and use the Atom IDE for Haskell development in 2016. 2020: Obsolete, use VS Code instead.☆83Updated 4 years ago
- ☆10Updated 9 months ago
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- A project that demonstrates getting up and running with Haskell.☆165Updated 10 years ago
- Haskell language support for Atom☆72Updated 3 years ago
- The CafeSat SMT solver for Scala☆48Updated 3 years ago
- Information to reproduce results from SV-COMP (MOVED, please follow the link)☆15Updated 4 years ago
- YAP Development release☆14Updated 4 years ago
- A talk on using recursion schemes in FP.☆217Updated last year
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- ☆195Updated 5 years ago
- Proving Ground: Tools for Automated Mathematics☆204Updated 3 years ago
- Code snippets and exercises for the Haskell book☆10Updated 6 years ago
- The People's Refinement Logic☆229Updated 2 years ago
- MTL, but without the MT☆13Updated 3 months ago