sebfisch/level-monad sebfisch/level-monad

  • Stars
    star
    7
  • Rank 2,289,008 (Top 46 %)
  • Language
    Haskell
  • License
    Other
  • Created over 15 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sebfisch/level-monad
github

sebfisch

Reviews

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

Repository Details

Non-Determinism Monad for Level-Wise Search

More Repositories

1

primes

Prime Numbers for Haskell
Haskell
45
star
2

haskell-regexp

Regular Expression Matching in Haskell
Haskell
33
star
3

incremental-sat-solver

Simple, Incremental SAT Solving as a Haskell Library
Haskell
14
star
4

explicit-sharing

Explicit Sharing of Monadic Effects
Haskell
12
star
5

stream-monad

Simple, Fair and Terminating Backtracking Monad
Haskell
9
star
6

haskell-barchart

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

todoyu

Fork of the todoyu project management software
PHP
6
star
8

uniqueid

Splittable Unique Identifier Supply for Haskell
Haskell
6
star
9

cflp

Constraint Functional-Logic Programming in Haskell
Haskell
4
star
10

parfold

Performance comparison of different implementations of parallel fold functions in Haskell
Haskell
4
star
11

scurry

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

fibonacci

Fast computation of Fibonacci numbers in Haskell
Haskell
3
star
13

tree-monad

Haskell library for monadic tree search.
Haskell
2
star
14

parallel-tree-search

Haskell library for parallel tree search
Haskell
2
star
15

fair-predicates

A Haskell library for predicates with interleaved evaluation.
Haskell
2
star
16

Humanoid

Android Utilities
Java
1
star
17

research-website

Smalltalk
1
star
18

todoyu-project

The project extension of the todoyu task manager
PHP
1
star
19

curry-test

Automatic Testing of Curry Programs
1
star
20

curry-sqlite3

Shirt-sleeved SQLite binding for Curry
1
star
21

html-rb

HTML in Ruby with Blocks
Ruby
1
star
22

sebfisch.github.com

my blog
HTML
1
star
23

typed-config

Typed interface to configuration files in Haskell
Haskell
1
star
24

java-fun-code

Source code underlying "Functional Patterns in Java"
Java
1
star
25

Nachhilfe

IQSH-Projekt 2014
Ruby
1
star