This is your work, valued

UAE, Dubai

Alexander Granin

Elite
@graninas

Software architect, book author, international speaker | "Functional Design and Architecture" (Manning) | "Pragmatic Type-Level Design"

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

1.1k

cpp_functional_programming. List of materials about functional programming in C++

706

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

530

The-Voids-Of-Haskell.

260

functional-declarative-design-methodology. Article: Functional Declarative Design

235

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

207

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

156

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

154

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

84

cpp_stm_free. Composable monadic STM for C++ on Free monads

82

Andromeda. Haskell

79

type-level-interfaces-in-rust. Type-level interfaces for type-level design in Rust

26

stm-free. STM on Free monads

25

Node. Comprehensive framework to build network actors and distributed applications

24

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

17

cpp_parsec_free. Monadic parsers library

15

The-Amoeba-World. The Amoeba World game

15

pointed-validation. Validation using pointed getters with error path tracking.

13

GraphServer. GraphServer for Haskell code visualization

12

Zeplrog. Experimental Rogue-like Zero Player game in Haskell and gloss

12

software-engeneering-python. Python

11

cpp_lenses. Functional lenses on C++ (highly experimental).

10

type_level. Type-level programming tools in Rust

8

Adv2Game. Advanced Adventure Game on Haskell

8

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

8

zio-free. Free monadic clone (Haskell ) of Scala's ZIO, experimental

7

hinteractive. Engine for interactive fiction games like Zork.

7

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

7

Quest-Tutorial-Code. Quest Tutorial Code for Haskell Quest Tutorial articles

5

transition-graph. Transition Graph eDSL

4

cpp_final_tagless. C++

3

BigSpace-Documentation. Design documents, concept art

3

Awesome-list-of-Haskell-mentors. An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.

3

ICFPC2011-Monads. Second code variant using monad State, monad transformer and special data types (incomplete)

2

stm-frp. Haskell

2

ICFPC2011. Code and Materials for ICFPC2011

2

MetaLife. Haskell

2

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

2

euler-hs. EulerHS: full-fledged framework for creating web backends

2

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

2

gt-money. Money library (showcase of type safe approaches)

2

boardgame-socketserver. A generic board game socket server

1

haskell-code-spot. Visual tool to spot odd runtime behaviour of Haskell programs.

1

yellow-stone. Experiments

1

Particle-Life. A game of life with particles

1

fsharp-presentations. Archive of some F# presentations over the years

1

haskell-exercises. Haskell

1

www.haskell.org. www.haskell.org site source

1

awesome-haskell-sponsorship. 💝 Haskell profiles to sponsor

1

boardgame-socketplayer. A generic board game socket client

1

summer-of-haskell. Source code of summer.haskell.org

1

purescript-presto-backend. Flow Monad for your Backend

1

purescript-presto. Write Apps like Mathematical Equations!

1

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

1