bolt12/alloy-pastry-dht

Stars
1
Language Alloy
License
MIT License
Created about 4 years ago
Updated about 4 years ago

bolt12/alloy-pastry-dht

bolt12

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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.

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