graninas/cpp_stm_free

Stars
70
Rank 447,840 (Top 9 %)
Language
C++
License
BSD 3-Clause "New...
Created almost 7 years ago
Updated almost 5 years ago

graninas/cpp_stm_free

graninas

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

Composable monadic STM for C++ on Free monads

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

cpp_functional_programming

List of materials about functional programming in C++

Functional-Design-and-Architecture

Code and materials for my book "Functional Design and Architecture"

The-Voids-Of-Haskell

functional-declarative-design-methodology

Article: Functional Declarative Design

Hydra

Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.

hierarchical-free-monads-the-most-developed-approach-in-haskell

Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

automatic-whitebox-testing-showcase

Automatic white-box testing with Free monads: approach description and showcase

Andromeda

Pragmatic-Type-Level-Design

Code and materials for my book "Pragmatic Type Level Design"

stm-free

STM on Free monads

Haskell-Algorithms

Learning Haskell: algorithms, data structures, mini-programs, materials, excercises

The-Amoeba-World

The Amoeba World game

pointed-validation

Validation using pointed getters with error path tracking.

GraphServer

GraphServer for Haskell code visualization

software-engeneering-python

cpp_lenses

Functional lenses on C++ (highly experimental).

Zeplrog

Experimental Rogue-like Zero Player game in Haskell and gloss

cpp_philosophers_stm

Dining philosophers task using combinatorial STM built on top of Free monad

cpp_parsec_free

Monadic parsers library

Amber

This is a showcase project of the functional design on C++.

hinteractive

Engine for interactive fiction games like Zork.

Adv2Game

Advanced Adventure Game on Haskell

zio-free

Free monadic clone (Haskell ) of Scala's ZIO, experimental

transition-graph

Transition Graph eDSL

Quest-Tutorial-Code

Quest Tutorial Code for Haskell Quest Tutorial articles

cpp_final_tagless

ICFPC2011

Code and Materials for ICFPC2011

stm-frp

gt-money

Money library (showcase of type safe approaches)

ICFPC2011-Monads

Second code variant using monad State, monad transformer and special data types (incomplete)

ICFPC-2012-Hackaton

Repository for attenders of ICFPC-2012 hackaton at Jan 2015, Novosibirsk

MetaLife

CMLife

Functional Game of Life on C++. Uses functional declarative design and functional idioms (comonads, zippers etc.)

cpp_functional_core

Core library for functional programming on C++ (lenses, monads, etc.)

QST

PureScript-Algorithms

Sandbox for PureScript test apps

BigSpace-obsolete

This repository was an attempt to create good project structure on Haskell. Now it is obsolete. (See The-Amoeba-World instead).

ICFPC2007

Partial implementation of Endo's morphing - training due to ICFPC 2014 is coming.

haskell-exercises

BigSpace-Documentation

Design documents, concept art

yellow-stone

TestEcho

stm_samples