CedricTarbouriech
French Computer Scientist, Python Lover and Esperanto Enthusiast. PhD in Computer Science (ontology and mereology)
Toulouse, France
Pinned Repositories
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Coq
A repository for my proofs in Coq.
FPO
Flight Procedure Ontology
JavaKatas
Leksemilo
A Python tool to make stuff with wikidata lexemes
LeptiBot
PhD
Code developed during my PhD.
StructBot
A bot to structure pages on the French Wiktionary.
WikiScripts
All the scripts I use on the Wikimedia projects.
WikisourceEditor
CedricTarbouriech's Repositories
CedricTarbouriech/PhD
Code developed during my PhD.
CedricTarbouriech/Coq
A repository for my proofs in Coq.
CedricTarbouriech/FPO
Flight Procedure Ontology
CedricTarbouriech/JavaKatas
CedricTarbouriech/Leksemilo
A Python tool to make stuff with wikidata lexemes
CedricTarbouriech/LeptiBot
CedricTarbouriech/StructBot
A bot to structure pages on the French Wiktionary.
CedricTarbouriech/WikiScripts
All the scripts I use on the Wikimedia projects.
CedricTarbouriech/WikisourceEditor