scm2342

Discovered public repositories for scm2342 in the GitHub catalog.

↗

HeuRika

↗

ocamlgraph graph implementation that I thought I wanted...

↗

Just a backup of some stupid mastermind code in haskell

↗

An agile, distributed, and secure alternative to the Certificate Authority system.

↗

Toy sat solver in ocaml, that uses robdds (basically it results in (Terminal, true) if your formula does not have any solutions) - returns the bdd

↗

Android widget that displays the doorstatus of the hackerspace in hamburg - attraktor.org

↗

Threadmanager in Haskell, implemented as a Monad (Transformer)

↗

battery plugin for awesome for thinkpads

↗

basic tools like a socks server and netcat, mainly to be used in conjunction with ssh

↗

normal and memoize implementation of base64 in lua

Built something? Put it in front of millions of developers.