-
sterben.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedMay 22, 2025 -
yorhub Public
A (WIP) GitHub TUI Client written in Haskell
-
MonadokaMagica Public
A Haskell (and maybe more) playground for exploring the magic of monads, functional programming, and anime-inspired code experiments.
Haskell MIT License UpdatedJan 11, 2025 -
-
-
-
-
zenesque-no-bold.vim Public
Forked from vim-scripts/zenesque.vimMinimalist light scheme. (see screenshot)
Vim Script UpdatedSep 11, 2024 -
-
-
coding-exercises-solutions Public
A compilation of solutions of several coding exercises I did in various sites
C++ MIT License UpdatedMar 21, 2024 -
erc-properties-hevm Public
ERC Properties for Formal Verification using hevm
-
My walkthrough of Haskell's Purple Book (Haskell Programming from First Principles)
Haskell MIT License UpdatedMar 9, 2024 -
-
CIS194 Public
My solutions for the CIS194 Haskell course exercises
Haskell MIT License UpdatedFeb 11, 2024 -
-
-
Biblioteca-Algoritmos Public
Algoritmos aprendidos e utilizados na cadeira IF672
-
Functions-Optimization Public
Testing optimization algorithms like GA and Particle Swarm using optimization functions
Jupyter Notebook UpdatedJun 21, 2023 -
GA-8-Queens Public
Using Genetic Algorithm to solve 8 Queens problem
Jupyter Notebook UpdatedJul 23, 2022 -
-
Avila-Dataset-ML Public
Project using machine learning models to predict monks from the Avila Dataset
Jupyter Notebook UpdatedJul 23, 2022 -
Diagnosing bearing fault using Deep Learning models
-
-
-
-
MadeInHeaven Public
Forked from Heitor-Santos/MadeInHeavenCriatividade
Jupyter Notebook MIT License UpdatedDec 14, 2021 -
-
-
{{ message }}