Lucas Oliveira's repositories
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
cheap-ai-image-generator
State of art image generators used to be expensive to operate due to the expensive resources needed. This is a cheap version.
dados-emprestimo
Conjunto de dados relacionados a aprovação de empréstimo financeiro em relação ao perfil do cliente.
designsprint
Summary for a design sprint process
docker-flask-mongodb-API
🖖🏼Flask App API with MongoDB using Docker Compose.
holophrasm
Holophrasm: a neural Automated Theorem Prover for higher-order logic
jekyll-gitbook
Build Jekyll site with GitBook style!
knowledge_graph
Convert any text to a graph of knowledge. This can be used for Graph Augmented Generation or Knowledge Graph based QnA
magic-card-generator
A open source AI based magic card generator.
mathview
Tool to adapt math proof granularity display.
matutor
A math proof tutor.
nice-github-username
Script to find small (potentially nice) available usernames for github profiles.
nlp-recipes
Natural Language Processing Best Practices & Examples
proofviewer
Graphical proof viewer for proofs written in metamath.
recoded
A web app/tool to create beautiful images and videos of your code directly in your browser with just one click.