• Stars
    star
    2
  • Language
    Haskell
  • Created over 13 years ago
  • Updated over 13 years ago

Reviews

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

Repository Details

Code and Materials for ICFPC2011

More Repositories

1

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Haskell
1,063
star
2

cpp_functional_programming

List of materials about functional programming in C++
646
star
3

Functional-Design-and-Architecture

Code and materials for my book "Functional Design and Architecture"
Haskell
470
star
4

The-Voids-Of-Haskell

241
star
5

functional-declarative-design-methodology

Article: Functional Declarative Design
201
star
6

Hydra

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

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
Haskell
152
star
8

automatic-whitebox-testing-showcase

Automatic white-box testing with Free monads: approach description and showcase
Haskell
83
star
9

Andromeda

Haskell
72
star
10

cpp_stm_free

Composable monadic STM for C++ on Free monads
C++
70
star
11

Pragmatic-Type-Level-Design

Code and materials for my book "Pragmatic Type Level Design"
Haskell
60
star
12

stm-free

STM on Free monads
Haskell
23
star
13

Haskell-Algorithms

Learning Haskell: algorithms, data structures, mini-programs, materials, excercises
HTML
16
star
14

The-Amoeba-World

The Amoeba World game
Haskell
13
star
15

pointed-validation

Validation using pointed getters with error path tracking.
Haskell
13
star
16

GraphServer

GraphServer for Haskell code visualization
Haskell
12
star
17

software-engeneering-python

Python
11
star
18

cpp_lenses

Functional lenses on C++ (highly experimental).
C++
11
star
19

Zeplrog

Experimental Rogue-like Zero Player game in Haskell and gloss
Haskell
10
star
20

cpp_philosophers_stm

Dining philosophers task using combinatorial STM built on top of Free monad
C++
8
star
21

cpp_parsec_free

Monadic parsers library
C++
8
star
22

Amber

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

hinteractive

Engine for interactive fiction games like Zork.
Haskell
7
star
24

Adv2Game

Advanced Adventure Game on Haskell
Haskell
7
star
25

zio-free

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

transition-graph

Transition Graph eDSL
Haskell
4
star
27

Quest-Tutorial-Code

Quest Tutorial Code for Haskell Quest Tutorial articles
Haskell
4
star
28

cpp_final_tagless

C++
3
star
29

stm-frp

Haskell
2
star
30

gt-money

Money library (showcase of type safe approaches)
Haskell
2
star
31

ICFPC2011-Monads

Second code variant using monad State, monad transformer and special data types (incomplete)
Haskell
2
star
32

ICFPC-2012-Hackaton

Repository for attenders of ICFPC-2012 hackaton at Jan 2015, Novosibirsk
Haskell
2
star
33

MetaLife

Haskell
2
star
34

CMLife

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

cpp_functional_core

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

QST

C++
1
star
37

PureScript-Algorithms

Sandbox for PureScript test apps
PureScript
1
star
38

BigSpace-obsolete

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

ICFPC2007

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

haskell-exercises

Haskell
1
star
41

BigSpace-Documentation

Design documents, concept art
1
star
42

yellow-stone

Experiments
Haskell
1
star
43

TestEcho

Erlang
1
star
44

stm_samples

C++
1
star