Armando Santos's repositories
advent-of-haskell-dd
Day 9 of Advent of Haskell - Denotational Design
tymfgg-pearl
Type Your Matrices For Great Good
master-thesis
Selective Functors & Probabilistic Programming
nix-hs-template
Haskell + Nix project setup Cookiecutter template
shannon-fano
Shannon-Fano compression algorithm Haskell library
selective-prob
Selective powered DSL for Probabilistic Programming + Concurrency Monad
AbbrevMan.nvim
🍍 A NeoVim plugin for managing vim abbreviations.
alloy-pastry-dht
Modelling, Specification and Verification of the DHT Pastry protocol, using Alloy.
DenotationalNumbers
From Geometry to Algebra: A Denotational Journey Through Whole Numbers, Fractions, and DivMod Type
agda-categories
A new Categories library for Agda
agda-hardware
Denotational hardware design in Agda
agda-stdlib
The Agda standard library
denotational-arithmetic
Puzzle: arithmetic via denotational design
ekg-forward
EKG forwarding library
emanote
Spiritual successor to neuron, based on Ema.
engineering
Sources for the IOG Engineering blog
haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
LogAdventures
Discoveries about my journey of making log bijective
nusmv-ertms-lvl3
Model, Specification and Verification of part of the level 3 of the European Rail Traffic Management System (ERTMS), using NuSMV.
zk
A plain text note-taking assistant