Beast code in Giters

Markus Liedl's repositories

cudd_rust

CUDD bindings for Rust

Language:CBSD-3-Clause2 20

logic

Language:Common Lisp200

playground

Language:Haskell2 20

condensate

a SAT solver in javascript

Language:JavaScriptBSD-3-Clause1 20

gojs

Go board in javascript

Language:JavaScriptBSD-3-Clause100

theano-rbm-on-word-tuples

A simple Restricted Boltzmann Machine implemented in Theano applied on word tuples

Language:PythonBSD-3-Clause1 20

accelerate-rbm

Language:HaskellBSD-3-Clause020

ad-neuro

Language:HaskellBSD-3-Clause020

automatic-differentiation-js

Language:JavaScript020

chinese-whispers-haskell

Chinese Whispers algorithm for graph clustering in Haskell

Language:Haskell020

drolesat

Language:HaskellBSD-3-Clause020

ersatz

A monad for interfacing with external SAT solvers

Language:HaskellNOASSERTION020

go-learn-js

Language:JavaScript020

haskell-picosat

Haskell bindings for PicoSAT solver

Language:CMIT020

irnn-torch

Language:LuaBSD-3-Clause000

labelImg

:metal: LabelImg is a graphical image annotation tool and label object bounding boxes in images

Language:PythonMIT020

learn-logic

Language:Python020

multilevel-graph-partitioning

Language:HaskellGPL-3.0020

nonogram

translating nonograms into propositional logic/cnf and solving them via picosat

Language:HaskellNOASSERTION020

opengl-mandelbrot-zoomer

Language:C020

picologic

Logic expressions for PicoSAT solver

Language:HaskellMIT020

react-compat

Language:JavaScriptMIT020

react-native-router-flux

The first declarative React Native router

Language:JavaScriptMIT020

twirl

A STRAIGHTS solver

Language:CBSD-3-Clause020

undiluted

straights solver

Language:JavaScriptBSD-3-Clause000

userland-threads-example

an example of managing userland threads

Language:C020

wood

Interactive Web UI for STRAIGHTS Puzzles

Language:JavaScriptBSD-3-Clause020