pascalpoizat

fbpmn

:microscope: formal tools for BPMN

template-java-project

:mortar_board: template for java projects

idris-book

examples and exercises in "Type-Driven Development with Idris"

template-haskell-project

:mortar_board: template for haskell projects

pascalpoizat.github.io

:tada: my web pages

docker-modelio

Modelio 4.1.0 in a docker container

configuration-files

:wrench: public configuration files for my laptop

dt-haskell

experiments with dependent types in Haskell

aoc

AoC2020

bpmn-js

A BPMN 2.0 rendering toolkit and web modeler.

bpmn-js-examples

Some examples how to use bpmn-js

bpmn-js-token-simulation

A bpmn-js extension for token simulation

bpmn-moddle

Read and write BPMN 2.0 XML from JavaScript.

demodevops

projet de demo pour M1 MIAGE 2022-2023

diagram-js

A toolbox for displaying and modifying diagrams on the web.

findanumber

a game about finding a number between bounds

libraryrat

Tools for bibliography analysis :book: :rat:

mapc

mes TD de MAPC en M1A

nodejs-image-demo

demonstration node application with docker

pandoc-emphasize-code

A Pandoc filter for emphasizing code in fenced blocks

patoline

Patoline typesetting system

pouetpouet

previews

summoner

🔮 🔧 Tool for creating completely configured production Haskell projects

template-reactflask-project

testsummonpr

test for summon PR

toto

veca-haskell

:microscope: verification of component architectures (core)

veca-ide

:microscope: verification of component architectures (IDE plugin)