Discover @bolt12 Open Source projects

Armando Santos (@bolt12)

bolt12

Stars
309
Global Rank 86,970 (Top 3 %)
Followers 109
Following 200
Registered over 8 years ago
Most used languages

Haskell
61.1 %

TeX
11.1 %

Nix
11.1 %

JavaScript
11.1 %

Alloy 5.6 %
Location 🇵🇹 Portugal
Country Total Rank 292
Country Ranking

Alloy 1

Haskell
2

Nix
4

TeX
6

JavaScript
1,459

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

zettel

Zettelkasten file processor

nix-hs-template

Haskell + Nix project setup Cookiecutter template

f-algebra-gen

Generate a special combinator from any data type.

free-yeelight-wrapper

Yeelight Color Bulb command wrapper

generic-crud

Generic CRUD REST server with Servant, Beam and Polysemy

shannon-fano

Shannon-Fano compression algorithm Haskell library

bolt12

Personal repository

mlp-tf-node

Multi-Layer Perceptron implementation in Javascript (Node JS) using the Tensorflow library

tabShare

Share your Google Chrome Tabs easily

nixos

NixOs Configuration and Dot Files

selective-prob

Selective powered DSL for Probabilistic Programming + Concurrency Monad

pepper-tracker

Pepper Tracker is a simple personal project written in Haskell.

alloy-pastry-dht

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

aoc2018

Advent of Code 2018

DenotationalNumbers

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

myLibrary

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