mgignoux

Pinned Repositories

ProbTicTacToe
Group project for the June course on Probabilistic Logic Programming (2023/24) at the University of Amsterdam (Master of Logic)
Language:Python1 1 00
BachelorProject
Algorithms for Computing Fourier Transforms on Finite Groups
Language:MATLAB1 1 00
ComputerOrganizationClass
Language:Assembly01
ProbabilisticTicTacToe
Group project for the June course on Probabilistic Logic Programming (2023/24) at the University of Amsterdam (Master of Logic)
Language:Python00
Symbolic-Gossip
Symbolic Model Checker for the Gossip Problem
Language:Haskell2 1 40

mgignoux's Repositories

mgignoux/BachelorProject
Algorithms for Computing Fourier Transforms on Finite Groups
Language:MATLAB1 1 00
mgignoux/ComputerOrganizationClass
Language:Assembly01
mgignoux/ProbabilisticTicTacToe
Group project for the June course on Probabilistic Logic Programming (2023/24) at the University of Amsterdam (Master of Logic)
Language:Python00