Popular repositories Loading

1. doors doors Public

   A C port of the Doors library from Solaris to POSIX. Google Summer of Code project.

   C 1

2. nqueens nqueens Public

   Solver for the n-queens problem that uses symmetry-breaking and template metaprogramming in C++ to count unique and distinct solutions. The algorithm is original and was written on a grant from Por…

   C++

3. markov markov Public

   An AI library to encode, solve and simulate Markov decision processes in Haskell, both deterministically and stochastically, with examples and documentation. Also includes an epsilon-greedy machine…

   Haskell

4. normal-ha normal-ha Public

   Converts UTF-8 to NFC form using the Haskell Data.Text.ICU library. Runs interactively.

   Haskell