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
- A project that demonstrates getting up and running with Haskell.☆164Updated 10 years ago
- Classe LaTeX para teses de mestrado do Instituto Superior Técnico☆14Updated 4 years ago
- Simple Bitbucket Scala Client☆10Updated this week
- FP101x - Functional Programming MOOC 2015 Content Repository☆517Updated 9 years ago
- Watch the best sports stream in HD from the command line☆11Updated 5 years ago
- DICOM implementation written in Swift☆14Updated 2 years ago
- Shell programming, Haskell style☆957Updated 3 weeks ago
- ☆195Updated 5 years ago
- Haskell IDE plugin for Atom editor☆231Updated 4 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 Leon system for verification, synthesis, repair☆163Updated last year
- A special interest group for companies and individuals interested in commercial usage of Haskell☆459Updated 2 years ago
- Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!☆1,889Updated this week
- This project has been moved to https://gitlab.com/cloogle/cloogle-web☆17Updated 4 years ago
- A Haskell kernel for the Jupyter project.☆2,634Updated 2 weeks ago
- A lexical analyser generator for Haskell☆308Updated 2 months ago
- Haskell language support for Atom☆72Updated 3 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆124Updated 2 years ago
- Dafny 2 for Visual Studio Code (Legacy)☆18Updated 2 years ago
- The Haskell LaTeX library.☆199Updated last year
- Verification framework and tool for higher-order Scala programs☆377Updated this week
- e-book version of Bartosz Milewski's Category Theory for Programmers☆482Updated 6 years ago
- Happy Haskell Hacking for editors. DEPRECATED☆675Updated 6 years ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,628Updated 2 years ago
- A Testing Framework for Haskell☆776Updated last week
- Automatic testing of Haskell programs.☆753Updated this week
- Personal haskell programs☆48Updated 8 years ago
- Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens☆2,058Updated last week
- Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.☆3,659Updated 3 months ago