felipeperet

Felipe Péret's repositories

An adventure on formalizing logics using the Agda programming language

Language:Agda9 20

some experiments on database queries using OCaml

Language:OCaml1 20

Advent of Code 2022 in Haskell

Language:Haskell000

🍱 The minimalist, elegant and hackable startpage.

Language:JavaScriptGPL-3.0000

My config files

Language:NixMIT010

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptMIT000

Análise de complexidade do Problema da Mochila

Language:CMIT010

a graphical visualization of the Mandelbrot set

Language:OCaml020