msakai Goto Github PK

chainer-pytorch-migration

Chainer/PyTorch Migration Library

chainer_pong

learn pong by chainer

cnfio

CNF reader for Haskell

competitive-programming

containers

Assorted concrete container types

courseragalois

Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)

cpl

An interpreter of Hagino's Categorical Programming Language (CPL).

cpython

The Python programming language

csp-sim

cudd-ersatz

Interface to CUDD in the style of Ersatz

cumo

Cumo (pronounced like "koomo") is CUDA aware numerical library whose interface is highly compatible with Ruby Numo

cupy

NumPy-like API accelerated with CUDA

cvc3

personal mirror of CVC3

cvc4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell

deepmath

deep learning for math

deepmind-atari-deep-q-learner

The original code from the DeepMind article + my tweaks

deepsentinel

Anomaly detection using deep neural network

densratio_py

A Python Package for Density Ratio Estimation

detours

Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.

differencelogic

A theory solver for difference logic

dilate

Code for our NeurIPS 2019 paper "Shape and Time Distortion Loss for Training Deep Time Series Forecasting Models"

dlv

Safety Verification of Deep Neural Networks

docs

SensorBee documentation

dotfiles

dwsim

DWSIM - Chemical Process Simulator for Desktop (6.x series)

ersatz

A monad for interfacing with external SAT solvers

ersatz-toysat

toysat driver as backend for ersatz

essence-of-ad

Attempt to code "The Simple Essence of Automatic Differentiation" paper

extended-reals

Extension of real numbers with positive/negative infinities (±∞)