Pinned Repositories
condensate
a SAT solver in javascript
cudd_rust
CUDD bindings for Rust
gojs
Go board in javascript
logic
playground
playground
theano-rbm-on-word-tuples
A simple Restricted Boltzmann Machine implemented in Theano applied on word tuples
malie's Repositories
malie/cudd_rust
CUDD bindings for Rust
malie/logic
malie/playground
playground
malie/condensate
a SAT solver in javascript
malie/gojs
Go board in javascript
malie/theano-rbm-on-word-tuples
A simple Restricted Boltzmann Machine implemented in Theano applied on word tuples
malie/accelerate-rbm
malie/ad-neuro
malie/automatic-differentiation-js
malie/chinese-whispers-haskell
Chinese Whispers algorithm for graph clustering in Haskell
malie/drolesat
malie/ersatz
A monad for interfacing with external SAT solvers
malie/go-learn-js
malie/haskell-picosat
Haskell bindings for PicoSAT solver
malie/irnn-torch
malie/labelImg
:metal: LabelImg is a graphical image annotation tool and label object bounding boxes in images
malie/learn-logic
malie/multilevel-graph-partitioning
malie/nonogram
translating nonograms into propositional logic/cnf and solving them via picosat
malie/opengl-mandelbrot-zoomer
malie/picologic
Logic expressions for PicoSAT solver
malie/react-compat
malie/react-native-router-flux
The first declarative React Native router
malie/twirl
A STRAIGHTS solver
malie/undiluted
straights solver
malie/userland-threads-example
an example of managing userland threads
malie/wood
Interactive Web UI for STRAIGHTS Puzzles