pascalpoizat
#SoftwareEngineering #ComputerScience
Université Paris Nanterre and LIP6 (CNRS and Sorbonne Université)Paris, France
Pinned Repositories
goblinUpdater
goblinWeaver
cloc
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
fbpmn
:microscope: formal tools for BPMN
fmt
:recycle: formal models and transformations (to be refactored in Haskell)
idris-book
examples and exercises in "Type-Driven Development with Idris"
pascalpoizat.github.io
:tada: my web pages
template-haskell-project
:mortar_board: template for haskell projects
template-java-project
:mortar_board: template for java projects
vbpmn-web
:microscope: verification of bpmn
pascalpoizat's Repositories
pascalpoizat/fbpmn
:microscope: formal tools for BPMN
pascalpoizat/template-java-project
:mortar_board: template for java projects
pascalpoizat/idris-book
examples and exercises in "Type-Driven Development with Idris"
pascalpoizat/pascalpoizat.github.io
:tada: my web pages
pascalpoizat/template-haskell-project
:mortar_board: template for haskell projects
pascalpoizat/docker-modelio
Modelio 4.1.0 in a docker container
pascalpoizat/configuration-files
:wrench: public configuration files for my laptop
pascalpoizat/dt-haskell
experiments with dependent types in Haskell
pascalpoizat/aoc
pascalpoizat/AoC2020
pascalpoizat/bpmn-js
A BPMN 2.0 rendering toolkit and web modeler.
pascalpoizat/bpmn-js-examples
Some examples how to use bpmn-js
pascalpoizat/bpmn-js-token-simulation
A bpmn-js extension for token simulation
pascalpoizat/bpmn-moddle
Read and write BPMN 2.0 XML from JavaScript.
pascalpoizat/demodevops
projet de demo pour M1 MIAGE 2022-2023
pascalpoizat/diagram-js
A toolbox for displaying and modifying diagrams on the web.
pascalpoizat/findanumber
a game about finding a number between bounds
pascalpoizat/libraryrat
Tools for bibliography analysis :book: :rat:
pascalpoizat/mapc
mes TD de MAPC en M1A
pascalpoizat/nodejs-image-demo
demonstration node application with docker
pascalpoizat/pandoc-emphasize-code
A Pandoc filter for emphasizing code in fenced blocks
pascalpoizat/patoline
Patoline typesetting system
pascalpoizat/pouetpouet
pascalpoizat/previews
pascalpoizat/summoner
🔮 🔧 Tool for creating completely configured production Haskell projects
pascalpoizat/template-reactflask-project
pascalpoizat/testsummonpr
test for summon PR
pascalpoizat/toto
pascalpoizat/veca-haskell
:microscope: verification of component architectures (core)
pascalpoizat/veca-ide
:microscope: verification of component architectures (IDE plugin)