A modern proof language

CS Undergrad codes, annotations and more

Materials of the Tropical Probabilistic AI School 2024.

Project for differential geometry class

The Godot Project for OpenChamp

StellarGraph - Machine Learning on Graphs

Graph Machine Learning course, Xavier Bresson, 2023

Esse repositório contém notebooks em Python relacionados ao curso de Ciência de Dados.

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

simple andronov-hopf bifurcation simulation in 2d

StreetContinuity (SC) is a python library that able to map a Primal Graph to a Dual Graph.

Versão final do Trabalho de Arquivos

repositório parar armazenar o código do meu jogo de xadrez