Pinned Repositories
amlMetaModel
This repository contains EMF Meta-Models for AutomationML
atompmDocker
A Tool for Multi-Paradigm Modeling with fixes to male work with Docker
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
DartModelsExplorer
europroofnet.github.io
Sources of the EuroProofNet web site.
FMdSL
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
PedagogicalNetworkSimulator
a pedagogical network simulator inspired by Cisco IOS
SimplisticChocoSolver
a Project to test with Choco solver
Tuto_Ocaml_Functors
This is a code that illustrates the usage of Functors in Ocaml
Alidra's Repositories
Alidra/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
Alidra/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Alidra/Tuto_Ocaml_Functors
This is a code that illustrates the usage of Functors in Ocaml
Alidra/europroofnet.github.io
Sources of the EuroProofNet web site.
Alidra/XML-pretty-print-pre-commit-hook
A pre-commit hook to pretty format XML files before commiting them
Alidra/xmi-precommit-hook
Alidra/SimplisticChocoSolver
a Project to test with Choco solver
Alidra/atompmDocker
A Tool for Multi-Paradigm Modeling with fixes to male work with Docker
Alidra/FMdSL
Alidra/DartModelsExplorer
Alidra/PedagogicalNetworkSimulator
a pedagogical network simulator inspired by Cisco IOS
Alidra/amlMetaModel
This repository contains EMF Meta-Models for AutomationML