Martin-Strecker

Pinned Repositories

Analyse-syntaxique
UE TER - Analyse syntaxique
10
formal_typedb
Language:TeX00
stage_typedb
Language:TeX00
EdukeraGuide
Un petit guide sur le fonctionnement de la plateforme Edukera
Language:TeX00
Article_TER
01
baby-l4
A miniature version of the l4 language
Language:Grammatical Framework9 11 456
complaw
Main repository for the Research Programme in Computational Law
Language:TeX30 16 312
dmn
Decision Model & Notation to L4
Language:Haskell00
dsl
Domain Specific Languages for Computational Law
Language:Haskell66 10 199
sandbox
Learning exercises, random art, and code that will never, ever go into production
Language:Grammatical Framework4 13 273

Martin-Strecker's Repositories

Martin-Strecker/formal_typedb
Language:TeX00
Martin-Strecker/stage_typedb
Language:TeX00