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
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆123Updated last year
- Simple Bitbucket Scala Client☆10Updated 6 months ago
- Papers I love :)☆155Updated 5 years ago
- The Leon system for verification, synthesis, repair☆162Updated last year
- typeclass diagram for cats☆462Updated 4 years ago
- Graph for Scala is intended to provide basic graph functionality seamlessly fitting into the Scala Collection Library. Like the well know…☆573Updated last month
- A neat little tool to build presentations using the Scala REPL☆398Updated 5 years ago
- Scala sample code for Bartosz Milewski's CT for Programmers☆276Updated 6 years ago
- Static Analysis Compiler Plugin for Scala☆268Updated 6 years ago
- GAPT: General Architecture for Proof Theory☆98Updated 2 weeks ago
- ☆33Updated 7 years ago
- A scala library for interacting with the slack api and real time messaging interface☆188Updated 7 months ago
- Verification framework and tool for higher-order Scala programs☆372Updated this week
- Solver for higher-order functional programs, used by Stainless☆90Updated this week
- Use the world of Python from the comfort of Scala!☆563Updated 7 months ago
- Flexible Scala code linting tool☆1,096Updated this week
- game engine written in Scala☆156Updated 8 months ago
- Syntactic sugar for monad composition in Scala☆280Updated 8 months ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆258Updated 3 years ago
- Scala Algorithms and Data Structures☆233Updated 8 years ago
- Graphviz Scala bindings☆54Updated 8 years ago
- A macro-based PEG parser generator for Scala 2.10+☆718Updated this week
- A "Hello, world" of Scaloid for sbt.☆92Updated 3 years ago
- ☆263Updated 2 years ago
- Powerful new number types and numeric abstractions for Scala.☆1,769Updated this week
- What do you call that?... for Scala☆173Updated 7 years ago
- Automatically generated diagrams and animations for Scala data structures☆590Updated 8 months ago
- Offline development environment for CS350 coursework, as a Docker image.☆32Updated 6 years ago
- Translate java jar files into Boogie programs☆12Updated last year