Links

Software

funsat: Haskell SAT-solver library (also on hackage)
fiblib: OCaml Fibonacci Heap

Enter your comment here...

Fill in your details below or click an icon to log in:

Email (required) (Address never made public)

Name (required)

Website

You are commenting using your WordPress.com account. ( Log Out / Change )

You are commenting using your Twitter account. ( Log Out / Change )

You are commenting using your Facebook account. ( Log Out / Change )

Connecting to %s

%d bloggers like this:

	Volkan Yazıcı (@yazi… on Text search over vast amounts…
	poussette orchestra on Configuring Emacs for Gmail…
	www.youtube.com/watc… on dot emacs
	water damage on maclisp’s gc
	How to configure Ema… on Configuring Emacs for Gmail…