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}
hiki
Hiki is a powerful and fast wiki clone written in Ruby.
hlbfgsb
Mirror of http://people.ksp.sk/~ivan/hlbfgsb
holophrasm
Holophrasm: a neural Automated Theorem Prover for higher-order logic
homebrew-menoh
Homebrew tap for Menoh DNN inference library
homebrew-mingw-w64-dwarf2
homebrew-souffle
Brew Scripts
homebrew-tap
homebrew-tap-1
Custom Homebrew Tap for some tools
hoppy
C++ FFI generator for Haskell. Mirror of https://gitlab.com/khumba/hoppy; pull requests over there please!
hpc-coveralls
coveralls.io support for haskell code coverage with hpc
hscaml
yet another toy OCaml interpreter in Haskell (reimplementation of old work for practicing Haskell)
hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
hstan
Haskell interface to Stan
http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
icfpc2012
ICFP Programming Contest 2012 -- Lambda Lifter
icfpc2013
icfpc2014
icfpc2015
icfpc2017
icfpc2018
ICFP Programming Contest 2018
icfpc2019
ICFP Programming Contest 2019
icfpc2020
ICFP 2020 programming contests
icfpc2022
ICFP 2022 Programming Contest
icfpc2023
ihaskell
A Haskell kernel for IPython.
il2bc
Compiling C#/MSIL to Native Code using LLVM
influxdb-haskell
Haskell client library for InfluxDB
ipasir
The Standard Interface for Incremental Satisfiability Solving
ivae
VAEs and nonlinear ICA: a unifying framework
j-quants-tutorial
J-Quants-Tutorial
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.
