samfcmc / llncs-article-templateLinks
Latex template for articles that use LLNCS document class from Springer
☆10Updated 10 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:
- Guía de uso de beamer☆10Updated 8 years ago
- Submission for MICCAI HACKATHON: https://miccai-hackathon.com/#participate☆14Updated 2 years ago
- Discurso colaborativo para la graduación de la promoción 11-16 del DGIIM☆11Updated 9 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
- Trabajo Fin de Grado: Curvas Elípticas en Criptografía☆10Updated 9 years ago
- Improved Lecture Notes in Computer Science (LNCS) template☆266Updated 5 months ago
- A library of formal models in the jani-model format.☆12Updated 3 years ago
- Personal haskell programs☆48Updated 8 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor☆359Updated 4 years ago
- VLC extension to download subtitles from opensubtitles.org☆1,383Updated 2 years ago
- Guiones de prácticas para Álgebra Conmutativa y Computacional☆16Updated last year
- A resume/curriculum vitae template in Latex based on the moderncv package☆40Updated 10 years ago
- Haskell IDE☆976Updated last year
- Dafny 2 for Visual Studio Code (Legacy)☆21Updated 2 years ago
- Haskell IDE plugin for Atom editor☆232Updated 4 years ago
- Styles for LaTeX, beamer for Chalmers University of Technology☆47Updated 7 years ago
- SWI-Prolog stable releases☆227Updated 9 months ago
- Compile LaTeX or knitr documents from within Atom☆224Updated 3 years ago
- FP101x - Functional Programming MOOC 2015 Content Repository☆517Updated 9 years ago
- A Datalog compiler and library☆19Updated 4 years ago
- LaTeX examples, adapted from old assignments☆59Updated 11 years ago
- A static website compiler library in Haskell☆2,787Updated last week
- My latex resume using the moderncv template☆277Updated 5 years ago
- Randomized Property-Based Testing Plugin for Coq☆272Updated last month
- Recursos de Haskell☆19Updated 6 years ago
- This repo is the new home of Proof General☆539Updated last month
- A LaTeX template for a cover letter to go with the Friggeri Resume☆71Updated 4 years ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated last week
- Reasoner for the description logic EL+.☆15Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆70Updated 3 months ago