Armando Santos (bolt12)

bolt12

Geek Repo

Company:@well-typed

Location:Portugal - Braga

Home Page:https://www.linkedin.com/in/armando-santos-590b4315b/

Twitter:@_bolt12

Github PK Tool:Github PK Tool

Armando Santos's repositories

advent-of-haskell-dd

Day 9 of Advent of Haskell - Denotational Design

laop

Linear Algebra of Programming - Algebraic Matrices in Haskell

Language:HaskellLicense:MITStargazers:82Issues:5Issues:7

tymfgg-pearl

Type Your Matrices For Great Good

Language:TeXStargazers:29Issues:3Issues:0

master-thesis

Selective Functors & Probabilistic Programming

Language:TeXStargazers:23Issues:4Issues:0

zettel

Zettelkasten file processor

Language:HaskellLicense:MITStargazers:12Issues:4Issues:0

nix-hs-template

Haskell + Nix project setup Cookiecutter template

Language:NixStargazers:11Issues:3Issues:0

shannon-fano

Shannon-Fano compression algorithm Haskell library

Language:HaskellLicense:MITStargazers:5Issues:4Issues:0

bolt12

Personal repository

nixos

NixOs Configuration and Dot Files

Language:NixStargazers:2Issues:3Issues:0

selective-prob

Selective powered DSL for Probabilistic Programming + Concurrency Monad

Language:HaskellLicense:MITStargazers:2Issues:3Issues:0

tabShare

Share your Google Chrome Tabs easily

Language:JavaScriptStargazers:2Issues:2Issues:0

AbbrevMan.nvim

🍍 A NeoVim plugin for managing vim abbreviations.

Language:LuaLicense:GPL-3.0Stargazers:1Issues:2Issues:0

alloy-pastry-dht

Modelling, Specification and Verification of the DHT Pastry protocol, using Alloy.

Language:AlloyLicense:MITStargazers:1Issues:3Issues:0

DenotationalNumbers

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

Stargazers:1Issues:0Issues:0

clav

LEI 1819 - CLAV Modelação e Especificação do Modelo Formal

Language:TeXStargazers:0Issues:5Issues:1

agda-categories

A new Categories library for Agda

Language:AgdaLicense:MITStargazers:0Issues:2Issues:0

agda-hardware

Denotational hardware design in Agda

Language:AgdaStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0

agda-stdlib

The Agda standard library

License:NOASSERTIONStargazers:0Issues:0Issues:0

denotational-arithmetic

Puzzle: arithmetic via denotational design

Language:AgdaStargazers:0Issues:1Issues:0

ekg-forward

EKG forwarding library

License:Apache-2.0Stargazers:0Issues:0Issues:0

emanote

Spiritual successor to neuron, based on Ema.

License:AGPL-3.0Stargazers:0Issues:0Issues:0

engineering

Sources for the IOG Engineering blog

Language:JavaScriptStargazers:0Issues:1Issues:0

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

License:Apache-2.0Stargazers:0Issues:0Issues:0

linalg

Linear algebra after Fortran

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

LogAdventures

Discoveries about my journey of making log bijective

Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

nusmv-ertms-lvl3

Model, Specification and Verification of part of the level 3 of the European Rail Traffic Management System (ERTMS), using NuSMV.

License:MITStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

zk

A plain text note-taking assistant

License:GPL-3.0Stargazers:0Issues:0Issues:0