Pascal Poizat's repositories
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
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:
nodejs-image-demo
demonstration node application with docker
pandoc-emphasize-code
A Pandoc filter for emphasizing code in fenced blocks
testsummonpr
test for summon PR
veca-haskell
:microscope: verification of component architectures (core)