danielleberre Goto Github PK

adventcode2022

Some Advent of Code 2022 solutions

alloymodels

alloysyntaxdefinition

Alloy 4 KDE-style XML syntax definition

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

cnf2lightswitch

containerspatterns

Interesting and useful containers usages

covid19

Informations partagées ESR pendant le covid 19

docker-ant

Apache Ant (s6-overlay) Docker Image - Extends frekele/java.

exercises

SoftwarePark exercises and dojos

gradle

Adaptable, fast automation for all

iliframework

Simple utility classes to help Java programmers dealing with servlet and Java Server Pages (JSP).

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!

lensunit

Simple unit testing framework for educational purpose

mutation-demo

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.

pandochceres

HCERES style for pandoc

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

satpractitionermanisfesto

satsmt19handson

Sat4j hands on for SAT+SMT 19 winter school

sonar-pitest

trameclusteria

Trame alternative en latex/pandoc du document scientifique attendu par l'ANR pour l'AMI IA Cluster

transport-tycoon