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}
popl2016-papers
Links to publicly available preprints for the POPL'16 conference
probsat
The probSAT SAT Solver
proper
Propositional logic theorem prover in Haskell
pseudo-boolean
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
ptq
An implementation of Montague's PTQ (Proper Treatment of Quantification).
pulp-scip
pyro4
Pyro 4.x - Python remote objects
pyro5
Pyro 5 - Python remote objects for modern python versions
python-concurrent-haskell
pyubcsat
qbsolv
Qbsolv,a decomposing solver, finds a minimum value of a large quadratic unconstrained binary optimization (QUBO) problem by splitting it into pieces solved either via a D-Wave system or a classical tabu solver. (Note that qbsolv by default uses its internal classical solver. Access to a D-Wave system must be arranged separately.)
qpth
A fast and differentiable QP solver for PyTorch.
quals-2016
2016 DEF CON Qualifier Challenges
qubogen
QUBO matrix generator on major combinatorial optimization problems written in Python
r_sumo_analysis
Reproducing Duggan and Levitt's landmark work on corruption in sumo with the R programming language.
red-data-tools.github.io
The Red Data Tools project site
reluplexcav2017
rena
resume
robdd
Haskell implementation of Reduced Ordered Binary Decision Diagrams
robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
rsa-wiener-attack
A Python implementation of the Wiener attack on RSA public-key encryption scheme.
ruby
The Ruby Programming Language
ruby-gnome2
A set of bindings for the GNOME-2.x libraries to use from Ruby.
s3fs
Simultaneous Safe Screening of Features and Samples in Doubly Sparse Modeling (ICML 2016)
sandbox
Sandbox repository to learn git.
sandbox-1
satchmo
SAT encoder
satchmo-toysat
toysat driver as backend for satchmo
scip-maxsat
Max-SAT frontend for SCIP
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.
