Armando Santos

advent-of-haskell-dd. Day 9 of Advent of Haskell - Denotational Design

laop. Linear Algebra of Programming - Algebraic Matrices in Haskell

tymfgg-pearl. Type Your Matrices For Great Good

master-thesis. Selective Functors & Probabilistic Programming

study-for-free. Notes of various papers regaridng free monads and extensible effects

nix-hs-template. Haskell + Nix project setup Cookiecutter template

zettel. Zettelkasten file processor

f-algebra-gen. Generate a special combinator from any data type.

shannon-fano. Shannon-Fano compression algorithm Haskell library

free-yeelight-wrapper. Yeelight Color Bulb command wrapper

generic-crud. Generic CRUD REST server with Servant, Beam and Polysemy

nixos. NixOs Configuration and Dot Files

bolt12. Personal repository

DenotationalNumbers. From Geometry to Algebra: A Denotational Journey Through Whole Numbers, Fractions, and DivMod Type

tabShare. Share your Google Chrome Tabs easily

selective-prob. Selective powered DSL for Probabilistic Programming + Concurrency Monad

mlp-tf-node. Multi-Layer Perceptron implementation in Javascript (Node JS) using the Tensorflow library

agda-refined-vector.

LogAdventures. Discoveries about my journey of making log bijective

denotational-arithmetic. Puzzle: arithmetic via denotational design

AbbrevMan.nvim. 🍍 A NeoVim plugin for managing vim abbreviations.

myLibrary. Set of basic tools, separated by modules, to program in Haskell

pepper-tracker. Pepper Tracker is a simple personal project written in Haskell.

aoc2018. Advent of Code 2018

alloy-pastry-dht. Modelling, Specification and Verification of the DHT Pastry protocol, using Alloy.