Daniel Le Berre's repositories
pandochceres
HCERES style for pandoc
satsmt19handson
Sat4j hands on for SAT+SMT 19 winter school
iliframework
Simple utility classes to help Java programmers dealing with servlet and Java Server Pages (JSP).
adventcode2022
Some Advent of Code 2022 solutions
alloysyntaxdefinition
Alloy 4 KDE-style XML syntax definition
awesome-scala
A community driven list of useful Scala libraries, frameworks and software.
containerspatterns
Interesting and useful containers usages
covid19
Informations partagées ESR pendant le covid 19
codegouvfr-website
Dépôt des sources du site principal de la mission logiciels libres.
docker-ant
Apache Ant (s6-overlay) Docker Image - Extends frekele/java.
gradle
Adaptable, fast automation for all
jenigma
Simple Enigma machine in Java
jitsi-meet
Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.
learnGitBranching
An interactive git visualization to challenge and educate!
octicons
A scalable set of icons handcrafted with <3 by GitHub
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
pattern-repository
Catalogue de code d'exemples pour patrons de conceptions orientés objet
pogmetrics
Produces miscellaneous metrics on proof obligations generated by Atelier B (POG files)
QualiteDev
Recueil de bonnes pratiques pour améliorer la qualité du développement de logiciels
repo2docker
Turn git repositories into Jupyter enabled Docker Images
trameclusteria
Trame alternative en latex/pandoc du document scientifique attendu par l'ANR pour l'AMI IA Cluster