bolt12/DenotationalNumbers bolt12/DenotationalNumbers

  • Stars
    star
    1
  • Language
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bolt12/DenotationalNumbers
github

bolt12

Reviews

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

Repository Details

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

More Repositories

1

advent-of-haskell-dd

Day 9 of Advent of Haskell - Denotational Design
93
star
2

laop

Linear Algebra of Programming - Algebraic Matrices in Haskell
Haskell
82
star
3

tymfgg-pearl

Type Your Matrices For Great Good
TeX
29
star
4

master-thesis

Selective Functors & Probabilistic Programming
TeX
23
star
5

study-for-free

Notes of various papers regaridng free monads and extensible effects
Haskell
21
star
6

zettel

Zettelkasten file processor
Haskell
12
star
7

nix-hs-template

Haskell + Nix project setup Cookiecutter template
Nix
11
star
8

f-algebra-gen

Generate a special combinator from any data type.
Haskell
10
star
9

free-yeelight-wrapper

Yeelight Color Bulb command wrapper
Haskell
5
star
10

generic-crud

Generic CRUD REST server with Servant, Beam and Polysemy
Haskell
5
star
11

shannon-fano

Shannon-Fano compression algorithm Haskell library
Haskell
5
star
12

bolt12

Personal repository
3
star
13

mlp-tf-node

Multi-Layer Perceptron implementation in Javascript (Node JS) using the Tensorflow library
JavaScript
2
star
14

tabShare

Share your Google Chrome Tabs easily
JavaScript
2
star
15

nixos

NixOs Configuration and Dot Files
Nix
2
star
16

selective-prob

Selective powered DSL for Probabilistic Programming + Concurrency Monad
Haskell
2
star
17

pepper-tracker

Pepper Tracker is a simple personal project written in Haskell.
Haskell
1
star
18

alloy-pastry-dht

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

aoc2018

Advent of Code 2018
Haskell
1
star
20

myLibrary

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