INSAlgo / codingbattle-2019Links
Problems of the ShaKer 2019 Coding Battle (English and French): statements, solutions, input / output
☆12Updated 5 years ago
Alternatives and similar repositories for codingbattle-2019
Users that are interested in codingbattle-2019 are comparing it to the libraries listed below
Sorting:
- Cours d'Exo7☆53Updated 5 months ago
- minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using f…☆1,831Updated 7 months ago
- A modern curriculum vitae class for LaTeX☆912Updated 3 weeks ago
- My LaTeX projects (classes, packages and more)!☆358Updated 3 years ago
- Series of lectures on Scientific Methodology and Performance Evaluation☆71Updated last week
- The Next Generation Logic Library☆149Updated 4 months ago
- Recueil de bonnes pratiques pour améliorer la qualité du développement de logiciels☆56Updated 4 years ago
- ☆70Updated 7 years ago
- Deutsche und Englische Webseite für den Architekturüberblick strukturiert nach arc42☆13Updated 11 months ago
- Yet another alternative curriculum vitae/résumé class with LaTeX☆1,492Updated 4 months ago
- Catalogue de code d'exemples pour patrons de conceptions orientés objet☆24Updated 5 years ago
- An open-source Java library for Constraint Programming☆744Updated 3 weeks ago
- This repository contains the material related to the practical classes of the course Principles of Programming Languages☆29Updated 6 years ago
- LaTeX notes from various courses (mainly from UniPi)☆68Updated 6 months ago
- (almost) Everything I know in math.☆129Updated last week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Tutorial: Building a language server for your DSL with Xtext☆27Updated 2 years ago
- Zusammenfassung☆18Updated 8 years ago
- LaTex beamer theme for the University of Copenhagen☆19Updated 5 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆165Updated this week
- Un kata sur comment utiliser Java 11 pour créer des APIs fonctionnelles☆26Updated 6 years ago
- Minimal template for typesetting a curriculum vitae (CV) in LaTeX.☆41Updated 2 months ago
- pgf/TikZ diagram editor☆1,212Updated last year
- Tool Support for Correctness-by-Construction☆29Updated 2 months ago
- 🐧 Penguins in LaTeX with TikZ☆90Updated last week
- ☆13Updated 4 years ago
- While language static analyzer☆10Updated 5 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- UVL (Universal Variability Language) is a concise and extensible language for modeling variability in software product lines. This reposi…☆13Updated last week
- Unofficial LaTeX class for the new version of the Europass curriculum vitae☆123Updated last year