sebfisch/level-monad

Stars
7
Rank 2,294,772 (Top 46 %)
Language
Haskell
License
Other
Created almost 16 years ago
Updated almost 3 years ago

sebfisch/level-monad

sebfisch

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

Non-Determinism Monad for Level-Wise Search

primes

Prime Numbers for Haskell

haskell-regexp

Regular Expression Matching in Haskell

incremental-sat-solver

Simple, Incremental SAT Solving as a Haskell Library

explicit-sharing

Explicit Sharing of Monadic Effects

stream-monad

Simple, Fair and Terminating Backtracking Monad

haskell-barchart

Command-line program with associated Haskell library for generating bar charts from CSV files.

uniqueid

Splittable Unique Identifier Supply for Haskell

todoyu

Fork of the todoyu project management software

cflp

Constraint Functional-Logic Programming in Haskell

parfold

Performance comparison of different implementations of parallel fold functions in Haskell

scurry

Experimental implementation of graph reduction with different strategies in Scala (not only) for executing Curry programs

fibonacci

Fast computation of Fibonacci numbers in Haskell

tree-monad

Haskell library for monadic tree search.

parallel-tree-search

Haskell library for parallel tree search

fair-predicates

A Haskell library for predicates with interleaved evaluation.

Humanoid

Android Utilities

research-website

todoyu-project

The project extension of the todoyu task manager

curry-test

Automatic Testing of Curry Programs

curry-sqlite3

Shirt-sleeved SQLite binding for Curry

html-rb

HTML in Ruby with Blocks

sebfisch.github.com

typed-config

Typed interface to configuration files in Haskell

java-fun-code

Source code underlying "Functional Patterns in Java"

Nachhilfe

IQSH-Projekt 2014