Markus Liedl's repositories
playground
playground
condensate
a SAT solver in javascript
theano-rbm-on-word-tuples
A simple Restricted Boltzmann Machine implemented in Theano applied on word tuples
chinese-whispers-haskell
Chinese Whispers algorithm for graph clustering in Haskell
haskell-picosat
Haskell bindings for PicoSAT solver
Language:LuaBSD-3-Clause000
react-native-router-flux
The first declarative React Native router
undiluted
straights solver
Language:JavaScriptBSD-3-Clause000
userland-threads-example
an example of managing userland threads