coetaur0
PhD student at the University of Geneva in the Semantics, Modelling and Verification group.
Geneva, Switzerland
Pinned Repositories
AdventureGame
A point and click adventure game programmed in Lua with the LÖVE 2D framework.
alpyne
Algebraic Petri Nets in Python
ESIM
Implementation of the ESIM model for natural language inference with PyTorch
FormalMethods
Material for the formal methods course at the University of Geneva
Graphite
A Swift library to build and manipulate graphs
LEAN
Lexical Entailment Augmented Network for Natural Language Inference
MPICapsule
A prototype framework implementing Apache Spark functionalities in MPI
nox
The Nox programming language
Prologue
A Prolog implementation for .NET
staticfg
Python3 control flow graph generator
coetaur0's Repositories
coetaur0/ESIM
Implementation of the ESIM model for natural language inference with PyTorch
coetaur0/staticfg
Python3 control flow graph generator
coetaur0/nox
The Nox programming language
coetaur0/AdventureGame
A point and click adventure game programmed in Lua with the LÖVE 2D framework.
coetaur0/LEAN
Lexical Entailment Augmented Network for Natural Language Inference
coetaur0/alpyne
Algebraic Petri Nets in Python
coetaur0/FormalMethods
Material for the formal methods course at the University of Geneva
coetaur0/Graphite
A Swift library to build and manipulate graphs
coetaur0/MPICapsule
A prototype framework implementing Apache Spark functionalities in MPI
coetaur0/plantlogger
Data logger for a plant management system
coetaur0/Prologue
A Prolog implementation for .NET
coetaur0/Schedulability
Offline task scheduler for multi-core architectures
coetaur0/SSL-TLS-and-PFS
A state of the art paper about SSL/TLS and the support of perfect forward secrecy