Skip to content
View malie's full-sized avatar
6 followers · 3 following
  • Muenchen

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report malie

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • opengl-mandelbrot-zoomer Public

    C Updated Dec 21, 2020

  • nonogram Public

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

    Haskell Other Updated Jul 6, 2020

  • labelImg Public

    Forked from HumanSignal/labelImg

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

    Python MIT License Updated Apr 24, 2018

  • react-compat Public

    JavaScript MIT License Updated Dec 22, 2017

  • react-native-router-flux Public

    Forked from aksonov/react-native-router-flux

    The first declarative React Native router

    JavaScript MIT License Updated Dec 20, 2017

  • irnn-torch Public

    Lua BSD 3-Clause "New" or "Revised" License Updated Jun 13, 2017

  • gojs Public

    Go board in javascript

    JavaScript 1 BSD 3-Clause "New" or "Revised" License Updated Feb 17, 2016

  • learn-logic Public

    Python Updated Feb 5, 2016

  • go-learn-js Public

    JavaScript Updated Jan 12, 2016

  • automatic-differentiation-js Public

    JavaScript Updated Jan 11, 2016

  • undiluted Public

    straights solver

    JavaScript BSD 3-Clause "New" or "Revised" License Updated Dec 21, 2015

  • wood Public

    Interactive Web UI for STRAIGHTS Puzzles

    JavaScript BSD 3-Clause "New" or "Revised" License Updated Nov 15, 2015

  • twirl Public

    A STRAIGHTS solver

    C BSD 3-Clause "New" or "Revised" License Updated Nov 8, 2015

  • condensate Public

    a SAT solver in javascript

    JavaScript 1 1 BSD 3-Clause "New" or "Revised" License Updated Nov 1, 2015

  • picologic Public

    Forked from sdiehl/picologic

    Logic expressions for PicoSAT solver

    Haskell MIT License Updated Oct 11, 2015

  • haskell-picosat Public

    Forked from sdiehl/haskell-picosat

    Haskell bindings for PicoSAT solver

    C MIT License Updated Oct 11, 2015

  • cudd_rust Public

    CUDD bindings for Rust

    C 2 BSD 3-Clause "New" or "Revised" License Updated Oct 4, 2015

  • ersatz Public

    Forked from ekmett/ersatz

    A monad for interfacing with external SAT solvers

    Haskell Other Updated Sep 23, 2015

  • ad-neuro Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated May 31, 2015

  • accelerate-rbm Public

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated May 29, 2015

  • theano-rbm-on-word-tuples Public

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

    Python 1 BSD 3-Clause "New" or "Revised" License Updated Apr 24, 2015

  • drolesat Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated May 27, 2014

  • chinese-whispers-haskell Public

    Chinese Whispers algorithm for graph clustering in Haskell

    Haskell Updated Apr 2, 2014

  • multilevel-graph-partitioning Public

    Haskell GNU General Public License v3.0 Updated Feb 6, 2014

  • logic Public

    Common Lisp 2 Updated Aug 3, 2013

  • userland-threads-example Public

    an example of managing userland threads

    C Updated Jul 6, 2013

  • playground Public

    playground

    Haskell 2 Updated Dec 1, 2010