- Tokyo, Japan
Stars
Parsing, analyzing, and comparing source code across many languages
Haskell implementation of the server-side verifier for Web Authentication API
This project is intended to protest against the police in Japan
Persistent adapter for Haskell Relational Record
Code for the ICCV 2015 paper "Discriminative Learning of Deep Convolutional Feature Point Descriptors"
Cross-platform rhythm game based on Java and libGDX.
Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
A statically-typed, functional typesetting system
In Japanese. Juliaで学ぶタイトバインディング模型とトポロジカル物質
Pytorch easy-to-follow Capsule Network tutorial
Gatling third party plugin for thrift protocol.
a durable message queue system for go based on redis, see also https://github.com/adjust/rmq
Give the exception's value constructors for your haskell project
This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolofhaskell.com/user/lykahb/groundhog for introduction
A fault tolerant, protocol-agnostic RPC system
Company-mode completion back-end for haskell-mode via ghc-mod
Extensible records, variants, structs, effects, tangles