Pinned Repositories
advent-of-haskell-dd
Day 9 of Advent of Haskell - Denotational Design
f-algebra-gen
Generate a special combinator from any data type.
free-yeelight-wrapper
Yeelight Color Bulb command wrapper
laop
Linear Algebra of Programming - Algebraic Matrices in Haskell
master-thesis
Selective Functors & Probabilistic Programming
nix-hs-template
Haskell + Nix project setup Cookiecutter template
study-for-free
Notes of various papers regaridng free monads and extensible effects
tabShare
Share your Google Chrome Tabs easily
tymfgg-pearl
Type Your Matrices For Great Good
zettel
Zettelkasten file processor
bolt12's Repositories
bolt12/advent-of-haskell-dd
Day 9 of Advent of Haskell - Denotational Design
bolt12/laop
Linear Algebra of Programming - Algebraic Matrices in Haskell
bolt12/tymfgg-pearl
Type Your Matrices For Great Good
bolt12/master-thesis
Selective Functors & Probabilistic Programming
bolt12/zettel
Zettelkasten file processor
bolt12/nix-hs-template
Haskell + Nix project setup Cookiecutter template
bolt12/shannon-fano
Shannon-Fano compression algorithm Haskell library
bolt12/bolt12
Personal repository
bolt12/nixos
NixOs Configuration and Dot Files
bolt12/selective-prob
Selective powered DSL for Probabilistic Programming + Concurrency Monad
bolt12/tabShare
Share your Google Chrome Tabs easily
bolt12/AbbrevMan.nvim
š A NeoVim plugin for managing vim abbreviations.
bolt12/alloy-pastry-dht
Modelling, Specification and Verification of the DHT Pastry protocol, using Alloy.
bolt12/DenotationalNumbers
From Geometry to Algebra: A Denotational Journey Through Whole Numbers, Fractions, and DivMod Type
bolt12/clav
LEI 1819 - CLAV ModelaĆ§Ć£o e EspecificaĆ§Ć£o do Modelo Formal
bolt12/agda-categories
A new Categories library for Agda
bolt12/agda-hardware
Denotational hardware design in Agda
bolt12/agda-refined-vector
bolt12/agda-stdlib
The Agda standard library
bolt12/denotational-arithmetic
Puzzle: arithmetic via denotational design
bolt12/ekg-forward
EKG forwarding library
bolt12/emanote
Spiritual successor to neuron, based on Ema.
bolt12/engineering
Sources for the IOG Engineering blog
bolt12/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
bolt12/linalg
Linear algebra after Fortran
bolt12/LogAdventures
Discoveries about my journey of making log bijective
bolt12/nixpkgs
Nix Packages collection
bolt12/nusmv-ertms-lvl3
Model, Specification and Verification of part of the level 3 of the European Rail Traffic Management System (ERTMS), using NuSMV.
bolt12/opodis22-presentation
bolt12/zk
A plain text note-taking assistant