Repos
30
Stars
8
Forks
1
Top Language
Haskell
Loading contributions...
Top Repositories
Solver for Solitaire Cribbage in Mobius Front '83.
Experiment code for static compilation of linear interpolation.
Automatic minesweeper solver
An SVG backend for diagrams
fake keyboard/mouse input, window management, and more
Repositories
30No description provided.
Solver for Solitaire Cribbage in Mobius Front '83.
No description provided.
A minimalistic and high-performance SAT solver
Profiling and Visualisation for Constraint Programming
Safe deletion of files
No description provided.
The CP solver Chuffed
No description provided.
Modified version of Gecode solver that implements protocol of the cp-profiler
No description provided.
Uses the same protocol as CP-Profiler and prints messages sent from solvers onto the screen. Useful for debugging!
Reads the output file produced by search_recorder and sends the encoded messages to the profiler.
A benchmark library for constraints
No description provided.
Haskell bindings to FLTK GUI toolkit.
Cairo backend for diagrams
This package provides log-domain floats, doubles and complex numbers for Haskell.
Emacs mode for Haskell
Experiment code for static compilation of linear interpolation.
Reactive IORefs -- mutable values that run actions when they are written to.
Portable temporary file and directory support for Windows and Unix, based on code from Cabal
Automatic minesweeper solver
Core types and utilities
An SVG backend for diagrams
Fonts from the SVG-Font format
User-contributed extensions to diagrams
Documentation for the diagrams project
fake keyboard/mouse input, window management, and more
Libraries for constraint-based layout and connector routing for diagrams.