BartoszMilewski/Okasaki

Stars
547
Rank 81,254 (Top 2 %)
Language
C++
License
The Unlicense
Created about 11 years ago
Updated almost 5 years ago

BartoszMilewski/Okasaki

BartoszMilewski

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

Functional data structures in C++

Okasaki

Functional data structures in C++

Publications

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

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

Existentials

Existential types in Haskell

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