sebfisch (Sebastian Fischer)

Name
Sebastian Fischer
Email
Website/Blog
http://www-ps.informatik.uni-kiel.de/~sebf/
Company
University of Kiel
Location
Germany
Member Since
Dec 04, 2008 (about 1 year)

Following 0 githubbers and watching 14 repositories view all →

Public Repositories (11)

  • scurry

    Experimental implementation of graph reduction with different strategies in Scala (not only) for ...

    legend

    Last updated Thu Oct 08 06:13:53 -0700 2009

  • uniqueid

    Splittable Unique Identifier Supply for Haskell

    legend

    Last updated Mon Jul 13 02:46:24 -0700 2009

  • level-monad

    Non-Determinism Monad for Level-Wise Search

    legend

    Last updated Mon Jun 22 02:11:31 -0700 2009

  • explicit-sharing

    Explicit Sharing of Monadic Effects

    legend

    Last updated Tue Jun 09 07:57:59 -0700 2009

  • cflp

    Constraint Functional-Logic Programming in Haskell

    legend

    Last updated Thu Jun 04 01:56:16 -0700 2009

  • primes

    Prime Numbers for Haskell

    legend

    Last updated Fri May 22 02:09:26 -0700 2009

  • tree-monad

    Haskell library for monadic tree search.

    legend

    Last updated Fri May 08 05:44:42 -0700 2009

  • parallel-tree-search

    Haskell library for parallel tree search

    legend

    Last updated Tue Apr 07 07:17:14 -0700 2009

  • stream-monad

    Simple, Fair and Terminating Backtracking Monad

    legend

    Last updated Thu Mar 26 07:25:58 -0700 2009

  • fair-predicates

    A Haskell library for predicates with interleaved evaluation.

    legend

    Last updated Thu Mar 26 03:45:49 -0700 2009

  • incremental-sat-solver

    Simple, Incremental SAT Solving as a Haskell Library

    legend

    Last updated Sat Jan 31 13:49:57 -0800 2009

Public Activity feed

sebfisch pushed to master at sebfisch/scurry Thu Oct 08 06:13:54 -0700 2009
HEAD is 1242deebaedf7189b519918930f598babc5602ba

3 commits »