Algorithms: Design & Analysis

A collection of small haskell programs that serve as a perparation for the exam

Essays on induction, inference, and the search for useful representations

Haskell implementation of aspects of the theory of Aligned Induction

Avaliação em grupo RA01 da Disciplina de Resolução de Problemas de Natureza Discreta - BCC / PUCPR 2023

House Prices: Advanced Regression Techniques

A small trick to get something similar to nested induction/coinduction in Coq, by nesting "finite coinductive types".

Resolución de los códigos que se pedían para las tareas.

full-program induction technique extended to probabilistic programs

Reconstruction of a trival Self Guided Learning algorithm

pywinding - A simulation tool for the design and evaluation of induction microcoils

Proof that 20 glasses of Ouzo don't matter by Mathematical Induction

This repo consists of the solutions of discrete mathematics' homework. It was obliged to be done in the latex format.

HyperSudoku Solver. Time limit: 2s.

Simulation of electromagnetic induction

Inductive puzzle to challenge and perplex (https://hightower.space/inductive-puzzles/)

My solutions to a problem set regarding algorithm design paradigms.

Fundamentos de la Computación in Liquid Haskell

A tutorial on well-founded recursion in Rocq