Discover @pascalpoizat Open Source projects

Pascal Poizat (@pascalpoizat)

pascalpoizat

Stars
75
Global Rank 255,876 (Top 9 %)
Followers 61
Following 8
Registered almost 11 years ago
Most used languages

Haskell
40.0 %

Java
30.0 %

Vim Script
10.0 %

HTML
10.0 %

Idris 10.0 %
Location 🇫🇷 France
Country Total Rank 6,190
Country Ranking

Idris 4

Haskell
38

Vim Script
424

Java
888

HTML
2,249

fbpmn

🔬 formal tools for BPMN

template-java-project

🎓 template for java projects

template-haskell-project

🎓 template for haskell projects

idris-book

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

pascalpoizat.github.io

🎉 my web pages

fmt

♻️ formal models and transformations (to be refactored in Haskell)

vbpmn-web

🔬 verification of bpmn

dt-haskell

experiments with dependent types in Haskell

bpsmt

business processes and smt

configuration-files

🔧 public configuration files for my laptop

verchor-web

🔬 verification of choreographies

verchor

verification of choreographies