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