Pinned Repositories
BooleanFunction
C++ library for computing closest neighbours of a monotone Boolean function
FilipeGouveia.github.io
hugo-theme-terminal
A simple, retro theme for Hugo
ModelRevisionASP
Model Revision process using Answer Set Programming
ModRev
ModRev - A model revision tool for Boolean logical models
MTGCubeTracker
A place for code about magic the gathering cube
obsidian-quote-of-the-day
An Obsidian plugin to insert random quotes as Markdown.
Riga
Reasoning over Indirect Discrimination
quote-of-the-day
An Obsidian plugin to insert random quotes as Markdown.
FilipeGouveia's Repositories
FilipeGouveia/FilipeGouveia.github.io
FilipeGouveia/ModRev
ModRev - A model revision tool for Boolean logical models
FilipeGouveia/MTGCubeTracker
A place for code about magic the gathering cube
FilipeGouveia/Riga
Reasoning over Indirect Discrimination
FilipeGouveia/BooleanFunction
C++ library for computing closest neighbours of a monotone Boolean function
FilipeGouveia/hugo-theme-terminal
A simple, retro theme for Hugo
FilipeGouveia/ModelRevisionASP
Model Revision process using Answer Set Programming
FilipeGouveia/obsidian-quote-of-the-day
An Obsidian plugin to insert random quotes as Markdown.