BartoszMilewski/Existentials

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
Created over 8 years ago
Updated over 8 years ago

BartoszMilewski/Existentials

BartoszMilewski

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

Existential types in Haskell

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Okasaki

Functional data structures in C++

DaoFP

The Dao of Functional Programming

CodeCoop

Peer-to-peer version control system

AoC2019

Solutions to Advent of Code 2019

Concurrency

AofC2017

Advent of Code 2017

Writing

PolyLens

Polynomial Lens

CategoryTheory

AoC2021

MoreMoney

Constraing solving using functional methods in C++ and Haskell.

DeepLearning

Neural networks using parametric prelenses and Trimbara modules

GameOfLife

Conway's Game of Life using a comonad

WinLib

C++ Windows Library by Reliable Software

Haskell

Haskell exercises

Parsing

XOperad

The implementation of tic-tac-toe using an operadic comonad

AdventOfCode18

Solutions to some of the advent of code problems

ThreeDee

Three-dimensional category theory diagram server using Haskell and Yesod

Calendar

Ideas

gravity-sim

LinearLens

BreadthFirst

Haskell exercise in traversing a binary tree breadth first

MarkdownParser

Parser/Converter between WordPress and FP Complete versions of markdown

FSharp

Sudoku

Criptarithm

Timetable

Conference timetable -- Translated to C++ from Simon Marlow Parallel and Concurrent Programming in Haskell

SpellTest

Testing spelling for children

MultiplicationTable

A program for children learning the multiplication table

GHCbug