Armando Santos's repositories
study-for-free
Notes of various papers regaridng free monads and extensible effects
f-algebra-gen
Generate a special combinator from any data type.
free-yeelight-wrapper
Yeelight Color Bulb command wrapper
generic-crud
Generic CRUD REST server with Servant, Beam and Polysemy
mlp-tf-node
Multi-Layer Perceptron implementation in Javascript (Node JS) using the Tensorflow library
pepper-tracker
Pepper Tracker is a simple personal project written in Haskell.
DAW-TP18-19
Trabalho prático DAW 18/19
alga
Algebraic graphs
aoc2017
Advent of Code 2017
DAW1819
Repositório de submissão de TPC's da UC de Desenvolvimento de Aplicações Web da Universidade do Minho
em-tf-node
Expectation-Maximization algorithm implementation in Javascript(NodeJS) using TensorflowJS
laop-analytics
Benchmarks of a real case study of data analytics.
laop-benchmarks
laop matrix composition benchmarks comparison with hmatrix, matrix and linear
laop_coq
Trying to prove the Linear Algebra of Programming Properties (LAOP) instantiated for the indutive matrix definition provided by the laop library for Haskell.
li31617tp
Projeto de LI3 16/17
mapawebapp
Front end for the Mapa website
mapawebservice
Backend support for the Mapa website.
polysemy
:gemini: higher-order, no-boilerplate, zero-cost monads
polysemy-zoo
:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy
resources
Helpful Engineering project proposals
selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically