thnguyendn

PhD in Computer Science. Interests: Artificial Intelligence, MBT, Cryptography

Ennov Labs, Ennov GroupeParis, France

Pinned Repositories

MPL_Trickle
This GitHub repository stores sources for modeling Trickle algorithm (.xlia) and associated workflow (.sew)
Language:Shell30
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT00
Matlab
Some Projects Matlab in cryptography
Language:MATLAB10
kaggle-solutions
🏅 Collection of Kaggle Solutions and Ideas 🏅
Language:HTML00
mlflow
Open source platform for the machine learning lifecycle
Language:Python00
poetry
Python packaging and dependency management made easy
Language:Python32.1k2.3k
mlflow
Open source platform for the machine learning lifecycle
Language:Python19.1k4.3k
cohere-python
Python Library for Accessing the Cohere API
Language:Python31367

thnguyendn's Repositories

thnguyendn/MPL_Trickle
This GitHub repository stores sources for modeling Trickle algorithm (.xlia) and associated workflow (.sew)
Language:Shell3
thnguyendn/Matlab
Some Projects Matlab in cryptography
Language:Matlab1
thnguyendn/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT
thnguyendn/kaggle-solutions
🏅 Collection of Kaggle Solutions and Ideas 🏅
thnguyendn/mlflow
Open source platform for the machine learning lifecycle