msakai Goto Github PK

kevin-kaixu.github.io

kodkod

Personal mirror of http://alloy.mit.edu/kodkod/

lambda-duct

Lambda Duct: Offline mode simulator for Lambda Punter clients

lambdamart

LambdaMart python implementation

lamp

http://a-terada.github.com/lamp/

lbfgs-hs

Haskell binding for liblbfgs

learn-aws-by-coding

コードで学ぶAWS入門

liblbfgs

libLBFGS: a library of Limited-memory Broyden-Fletcher-Goldfarb-Shanno (L-BFGS)

log-domain

This package provides log-domain floats, doubles and complex numbers for Haskell.

logic-tptp

Import, export etc. for TPTP, a syntax for first-order logic

ltg

TeamSampou's repository for ICFPC2011

maxsat-evaluations.github.io

Website for MaxSAT Evaluations

melinda

Parallel engine

memotrie

Trie-based memo functions

menoh

menoh-haskell

Haskell binding for Menoh DNN inference library

menoh-ruby

Ruby binding for Menoh DNN inference library

menoh-sharp

C# binding for Menoh DNN inference library

message-from-space

mingw-packages

Package scripts for MinGW-w64 targets to build under MSYS2.

mingw-w64-liblbfgsb

L-BFGS-B package for MINGW environments

minicard

MiniCard: An efficient cardinality solver based on MiniSAT

minisat

A minimalistic and high-performance SAT solver

minisat_emscripten_sudoku

Sudoku solver in your browser

minlplib2-pb

Pseudo boolean optimization problems converted from MINLPLIB2

mios

Misinat-based Implementation and Optimization Study on SAT Solver in Haskell

mipcl-maxsat

Max-SAT frontend for MIPCL solver

mkl-dnn

Intel(R) Math Kernel Library for Deep Neural Networks (Intel(R) MKL-DNN)

msakai

msys2-packages

Package scripts for MSYS2.