Name: Masahiro Sakai
Type: User
Company: Preferred Networks, Inc. (@pfnet)
Bio: Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Location: Kawasaki, Japan
![[Twitter]](https://img.shields.io/badge/Twitter-blue?style=for-the-badge&logo=twitter&logoColor=white){kind=icon}
![[Facebook]](https://img.shields.io/badge/Facebook-1877F2?style=for-the-badge&logo=facebook&logoColor=white){kind=icon}
![[Instagram]](https://img.shields.io/badge/Instagram-E4405F?style=for-the-badge&logo=instagram&logoColor=white){kind=icon}
![[Resume]](https://img.shields.io/badge/Resume-black?style=for-the-badge){kind=icon}
multi-ghc-travis
Scripts and instructions for using Travis-CI with multiple GHC configurations
multicore-tsne
Parallel t-SNE implementation with Python and Torch wrappers.
multiset-large
mypy
Optional static typing for Python
netron
Visualizer for neural network, deep learning and machine learning models
neurocore-public
NeuroCore: Guiding CDCL with Unsat-Core Predictions
neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
nips17-adversarial-attack
Submission to Kaggle NIPS'17 competition on adversarial examples (non-targeted adversarial attack track)
nnoir
NN Optimization IR
nonlinear-optimization
Various iterative algorithms for optimization of nonlinear functions.
nonlinear-optimization-ad
Several Haskell packages for numerical optimizations.
null-handle
nvidia-opencl-examples
onnx
Open Neural Network Exchange
onnx-chainer
Add-on package for ONNX format support in Chainer
onnx-tutorials
Tutorials for using ONNX
opalytics-ticdat
openapi-generator
OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)
opencl
Haskell high-level wrapper for OpenCL
optuna-dashboard
Real-time Web Dashboard for Optuna.
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
pdoc
A simple command line tool and library to auto generate API documentation for Python libraries.
pfio
IO library to access various filesystems with unified API
pg-dl-tutorial
planet
PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
plcm
Parallel algorithm for closed itemsetmining
plcscan
Automatically exported from code.google.com/p/plcscan
pml
A ML-like programming language with type-based probabilistic behavior specification, developed as part of PFN summer internship 2018.
poetry
Python dependency management and packaging made easy.
poly-ruby
Personal mirror of http://www.math.kobe-u.ac.jp/~kodama/tips-RubyPoly.html
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
